Finding bugs with a constraint solver (2000)

by D Jackson, M Vaziri
Venue:In International Symposium on Software Testing and Analysis