TY - JOUR T1 - Automated program flaw finding using simulated annealing JO - ACM SIGSOFT Software Engineering Notes PY - 1998/03/01 AU - Tracey N AU - Clark J AU - Mander K ED - DO - DOI: 10.1145/271775.271792 VL - 23 IS - 2 SP - 73 EP - 81 Y2 - 2024/12/22 ER -