Shadow symbolic execution for better testing of evolving software
File(s)
Accepted version
Author(s)
Cadar, C
Palikareva, H
Type
Conference Paper
Abstract
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. Copyright © 2014 ACM.
Date Issued
2014-05-31
Date Acceptance
2014-01-01
Citation
ICSE Companion 2014 Companion Proceedings of the 36th International Conference on Software Engineering, 2014, pp.432-435
ISBN
978-1-4503-2768-8
Start Page
432
End Page
435
Journal / Book Title
ICSE Companion 2014 Companion Proceedings of the 36th International Conference on Software Engineering
Copyright Statement
© ACM, 2014. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ICSE Companion 2014 Companion Proceedings of the 36th International Conference on Software Engineering, 2014 http://doi.acm.org/10.1145/2591062.2591104
Source
36th International Conference on Software Engineering
Place of Publication
Association for Computing Machinery
Start Date
2014-05-31
Finish Date
2014-06-07
Coverage Spatial
Hyderabad, India