这项由北京大学高可信软件技术教育部重点实验室刘伟领导的研究团队发表于2025年12月的arXiv预印本论文，编号为2512.22469v1，展示了一种全新的软件问题定位方法。字节跳动的彭超和高鹏飞等研究人员也参与了这项研究。有兴趣深入了解技术细节的读 ...