RWset: attacking path explosion in constraint-based test generation (2008)

by P Boonstoppel, C Cadar, D Engler
Venue:in Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for