TY - CONF T1 - Automated program flaw finding using simulated annealing JO - Proceedings of ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '98 PY - 1998/01/01 AU - Tracey N AU - Clark J AU - Mander K ED - DO - DOI: 10.1145/271771.271792 PB - ACM Press Y2 - 2024/12/22 ER -