Nigel Tracey John A. Clark Keith Mander Automated Program Flaw Finding Using Simulated Annealing. 73-81 1998 ISSTA http://doi.acm.org/10.1145/271771.271792 db/conf/issta/issta98.html#TraceyCM98