Finding bugs with a constraint solver," presented at the 2000 (2000)

by D Jackson, M Vaziri
Venue:ACM SIGSOFT international symposium on Software testing and analysis