TY - CONF T1 - Automated program flaw finding using simulated annealing JO - Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis UR - https://doi.org/10.1145/271771.271792 PY - 1998/03/01 AU - Tracey N AU - Clark J AU - Mander K ED - DO - DOI: 10.1145/271771.271792 PB - ACM SP - 73 EP - 81 Y2 - 2025/11/04 ER -