Automated Program Flaw Finding using Simulated Annealing

In Software Engineering Notes Issue 23 Number 2, the Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).

Nigel Tracey, John Clark and Keith Mander.

@inproceedings{tracey-98a,
  author    = {Nigel Tracey and John Clark and Keith Mander},
  title     = {Automated Program Flaw Finding using Simulated Annealing},
  booktitle = {Software Engineering Notes, Proceedings of the
               International Symposium on Software Testing and Analysis},
  organization = {ACM/SIGSOFT},
  volume    = {23},
  number    = {2},
  month     = {March},
  year      = {1998}
  pages     = {73--81}
}
      

Back to Publications.