Automated Program Flaw Finding Using Simulated Annealing.

Nigel J. Tracey, John A. Clark, Keith Mander

Browse the full ISSTA paper archive.