Automated Program Flaw Finding Using Simulated Annealing.

Nigel J. Tracey John A. Clark Keith Mander

Published in: ISSTA (1998)

Keyphrases

simulated annealing
tabu search
data driven
semi automated
real time
real world
genetic algorithm
global optimum
simulated annealing algorithm
machine learning
information retrieval
social networks
computer assisted
optimization method
stochastic search
program execution