Daniel Jackson Mandana Vaziri Finding bugs with a constraint solver. 14-25 2000 ISSTA http://doi.acm.org/10.1145/347324.383378 db/conf/issta/issta2000.html#JacksonV00