RWset: Attacking Path Explosion in Constraint-Based Test Generation

@inproceedings{Boonstoppel2008RWsetAP,
  title={RWset: Attacking Path Explosion in Constraint-Based Test Generation},
  author={Peter Boonstoppel and Cristian Cadar and Dawson R. Engler},
  booktitle={TACAS},
  year={2008}
}
Recent work has used variations of symbolic execution to automatically generate high-coverage test inputs [3, 4, 7, 8, 14]. Such tools have demonstrated their ability to find very subtle errors. However, one challenge they all face is how to effectively handle the exponential number of paths in checked code. This paper presents a new technique for reducing the number of traversed code paths by discarding those that must have side-effects identical to some previously explored path. Our results… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 153 CITATIONS, ESTIMATED 31% COVERAGE

FILTER CITATIONS BY YEAR

2007
2019

CITATION STATISTICS

  • 12 Highly Influenced Citations

  • Averaged 13 Citations per year over the last 3 years

  • 21% Increase in citations per year in 2018 over 2017

Similar Papers

Loading similar papers…