Shadow symbolic execution for better testing of evolving software
Shadow symbolic execution for better testing of evolving software
复制标题
影子符号执行可以更好地测试不断发展的软件
DOI：
10.1145/2591062.2591104
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Cadar C
中科院分区：
文献类型：
--
作者：
Cadar C
在这篇思想论文中，我们提出了一种新的方法，通过符号执行来改进程序更改的测试。在高层次上，我们的技术在同一个符号执行实例中运行两个不同的程序版本，旧版本有效地隐藏了新版本。通过这种方式，该技术可以利用精确的动态值信息来有效地驱动执行从一个版本到下一个版本发生变化的行为。我们讨论了这种方法的主要挑战和机遇，修剪和优先路径探索，跨版本映射元素，并共享版本之间的共同符号状态。
In this idea paper, we propose a novel way for improving the testing of program changes via symbolic execution. At a high-level, our technique runs two different program versions in the same symbolic execution instance, with the old version effectively shadowing the new one. In this way, the technique can exploit precise dynamic value information to effectively drive execution toward the behaviour that has changed from one version to the next. We discuss the main challenges and opportunities of this approach in terms of pruning and prioritising path exploration, mapping elements across versions, and sharing common symbolic state between versions.
Tachyon：用于高效实时补丁测试的串联执行
DOI：
--
发表时间：
2012
期刊：
USENIX Security Symposium
影响因子：
--
作者：
Matthew Maurer;David Brumley
通讯作者：
David Brumley