RWset: Attacking Path Explosion in Constraint-Based Test Generation. - Peter Boonstoppel; Cristian Cadar; Dawson R. Engler (TACAS, 2008)