@inproceedings{DBLP:conf/issta/TraceyCM98,
author = {Nigel Tracey and
John A. Clark and
Keith Mander},
title = {Automated Program Flaw Finding Using Simulated Annealing},
booktitle = {ISSTA},
year = {1998},
pages = {73-81},
ee = {http://doi.acm.org/10.1145/271771.271792},
bibsource = {DBLP, http://dblp.uni-trier.de}
}