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

by P Boonstoppel, C Cadar, D Engler
Venue:Tools and Algorithms for the Construction and Analysis of Systems, number 4963 in Lecture Notes in Computer Science,