DMCA

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

by Peter Boonstoppel , Cristian Cadar , Dawson Engler
Venue:IN TACAS’08: INTERNATIONAL CONFERENCE ON TOOLS AND ALGORITHMS FOR THE CONSTRUCTIONS AND ANALYSIS OF SYSTEMS
Citations:75 - 6 self