Dynamic partial-order reduction for model checking software.

Cormac Flanagan, Patrice Godefroid

Browse the full POPL paper archive.