Model Checking for programming languages using VeriSoft (1997)

by Patrice Godefroid
Venue:Proceedings of the 24th ACM Symposium on Principles of Programming Languages