A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Characteristic studies of loop problems for structural test generation via symbolic execution
2013
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Dynamic Symbolic Execution (DSE) is a state-ofthe-art test-generation approach that systematically explores program paths to generate high-covering tests. In DSE, the presence of loops (especially unbound loops) can cause an enormous or even infinite number of paths to be explored. There exist techniques (such as bounded iteration, heuristics, and summarization) that assist DSE in addressing loop problems. However, there exists no literature-survey or empirical work that shows the pervasiveness
doi:10.1109/ase.2013.6693084
dblp:conf/kbse/XiaoLXT13
fatcat:msru5e5ou5hlxpqc6aftok4zye