Puzzle-based automatic testing: bringing humans into the loop by solving puzzles

  title={Puzzle-based automatic testing: bringing humans into the loop by solving puzzles},
  author={Ning Chen and Sunghun Kim},
  journal={2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering},
Recently, many automatic test generation techniques have been proposed, such as Randoop, Pex and jCUTE. However, usually test coverage of these techniques has been around 50-60% only, due to several challenges, such as 1) the object mutation problem, where test generators cannot create and/or modify test inputs to desired object states; and 2) the constraint solving problem, where test generators fail to solve path conditions to cover certain branches. By analyzing branches not covered by state… CONTINUE READING
Highly Cited
This paper has 35 citations. REVIEW CITATIONS
Recent Discussions
This paper has been referenced on Twitter 1 time over the past 90 days. VIEW TWEETS
24 Extracted Citations
4 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 24 extracted citations

Referenced Papers

Publications referenced by this paper.
Showing 1-4 of 4 references

System description: Yices 1.0

  • B. Dutertre, L. de Moura
  • In Proc. SMT-COMP,
  • 2006
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…