Finding bugs with a constraint solver.

Daniel Jackson, Mandana Vaziri

Browse the full ISSTA paper archive.