TY  - JOUR

T1  - Automated program flaw finding using simulated annealing

JO  - ACM SIGSOFT Software Engineering Notes

UR  - https://doi.org/10.1145/271775.271792

PY  - 1998/03/01

AU  - Tracey N

AU  - Clark J

AU  - Mander K

ED  - 

DO  - DOI: 10.1145/271775.271792

PB  - Association for Computing Machinery (ACM)

VL  - 23

IS  - 2

SP  - 73

EP  - 81

Y2  - 2025/11/04

ER  -