Characteristic studies of loop problems for structural test generation via symbolic execution

@article{Xiao2013CharacteristicSO,
  title={Characteristic studies of loop problems for structural test generation via symbolic execution},
  author={Xusheng Xiao and Sihan Li and Tao Xie and Nikolai Tillmann},
  journal={2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)},
  year={2013},
  pages={246-256}
}
Dynamic Symbolic Execution (DSE) is a state-of-the-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… CONTINUE READING
Highly Cited
This paper has 46 citations. REVIEW CITATIONS
23 Citations
53 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 23 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 53 references

Trtı́k. Abstracting path conditions

  • M. J. Strejček
  • In Proc. ISSTA,
  • 2012
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…