Model Checking for Programming Languages using VeriSoft (1997)

by Patrice Godefroid
Venue:IN PROCEEDINGS OF THE 24TH ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES