2025年6月25日至28日，软件工程领域顶会ISSTA 2025在挪威特隆赫姆举行。ISSTA（ACM SIGSOFT International Symposium on Software Testing and Analysis）是软件工程领域公认的权威性顶级会议之一，创办于1992年，属于CCF-A类会议。
蚂蚁集团首次申请到ISSTA的workshop，现向大家征集投稿。
5. 基于大语言模型的验证、测试和分析技术及其可解释性
投稿链接：
https://express25.hotcrp.com/
所有论文需要通过 HotCRP 提交，并以双盲形式进行评审。
1、 研究进展论文（最多4页）：包括尚未完全验证的创新性、高潜力研究工作。
2、 工业与工具论文（最多4页）：涵盖工业界实际挑战、解决方案或采用学术技术的工具或论文。
3、 完整技术论文（最多8页）：原创、完整且经过验证的研究工作。
备注：投稿所包含的参考文献和附录无页数限制。每篇被接受的论文至少需要有一位作者注册并实地(on site)参加EXPRESS 2025，才能被收录于 ISSTA’25 的会议论文集中。
要求：
原创性：所有投稿必须是原创的，且未在其他地方提交评审。
投稿格式：
1、 投稿必须使用英语并以 PDF 格式提交，遵守指定的页数限制。
2、 作者应使用ACM Primary Article Template。使用Word的作者应使用Interim Template，使用LaTeX的作者应遵循sample-sigconf.tex示例，在文档开头使用以下配置：
\documentclass[sigconf,screen,review,anonymous]{acmart}
投稿截止日期：
2025年3月28日 23:59（星期五）
接受通知日期：
2025年4月28日 23:59（星期一）
最终稿件截止日期：
2025年5月5日 23:59（星期一）
狄 鹏 Peng Di 蚂蚁集团
薛京灵 Jingling Xue 澳大利亚UNSW
姜 宇 Yu Jiang 清华大学
周智泉 Zhiquan Zhou 蔚来汽车
冯似东 Sidong Feng 澳大利亚蒙纳士大学
蒋超亚 Chaoya Jiang 北京大学
李 聪 Cong Li 蚂蚁集团
李悦康 Yuekang Li 澳大利亚UNSW
廖泽钦 Zeqin Liao 中山大学
林 丹 Dan Lin 中山大学
刘圃卓 Puzhuo Liu 蚂蚁集团 清华大学
马迎伟 Yingwei Ma 阿里巴巴
孟华松 Mark Huasong Meng 慕尼黑工业大学
时清凯 Qingkai Shi 南京大学
谢筱恒 Xiaoheng Xie 蚂蚁集团
徐翔哲 Xiangzhe Xu 普渡大学
昝道广 Daoguang Zan 字节跳动
张 岑 Cen Zhang 佐治亚理工学院
张元良 Yuanliang Zhang 国防科技大学
郑铭薇 Mingwei Zheng 普渡大学
郑尧文 Yaowen Zheng 中国科学院信息工程研究所
蚂蚁技术AntTech