RWset: Attacking Path Explosion in Constraint-Based Test Generation.

Peter Boonstoppel, Cristian Cadar, Dawson R. Engler

Browse the full TACAS paper archive.