Automated Program Flaw Finding Using Simulated Annealing

Nigel Tracey, John A. Clark, Keith Mander. Automated Program Flaw Finding Using Simulated Annealing. In ISSTA. pages 73-81, 1998. [doi]

Abstract

Abstract is missing.