Automated software testing using model-checking (1996)

by John Callahan, Francis Schneider, Steve Easterbrook
Venue:Proceedings 1996 SPIN workshop