ACM通信
研究档案
研究档案提供对ACM通信过去几期发表的所有研究文章的访问。
2016年6月
选自ACM通信
Automan:一个集成人工和数字计算的平台
我们介绍了AutoMan，第一个全自动众编程系统。
选自ACM通信
用验证增强符号执行力
在本文中，我们提出了一种生成公式的新技术，称为veritesting它在静态符号执行(SSE)和动态符号执行(DSE)之间交替。
选自ACM通信
技术视角:与人群一起计算
什么样的问题可以通过人机结合的计算来解决?Barowy等人的《AutoMan:一个集成人工和数字计算的平台》为回答这个问题提供了第一步……
选自ACM通信
技术角度:验证解决路径爆炸问题
Avgerinos等人的“用验证增强符号执行”提出了一种称为验证的有效技术，解决了符号执行中路径合并的可伸缩性限制。