Nigel Tracey, John A. Clark, Keith Mander. Automated Program Flaw Finding Using Simulated Annealing. In ISSTA. pages 73-81, 1998. [doi]
@inproceedings{TraceyCM98, title = {Automated Program Flaw Finding Using Simulated Annealing}, author = {Nigel Tracey and John A. Clark and Keith Mander}, year = {1998}, doi = {10.1145/271771.271792}, url = {http://doi.acm.org/10.1145/271771.271792}, researchr = {https://researchr.org/publication/TraceyCM98}, cites = {0}, citedby = {0}, pages = {73-81}, booktitle = {ISSTA}, }