Data analysis for verifying properties of concurrent programs (1994)

by M Dwyer, L Clarke
Venue:In Proceedings of the Second ACM SIGSOFT symposium on Foundations of Software Engineering