Large-scale sound and precise program analysis: technical persepctive.

Published in: Commun. ACM (2010)

Keyphrases

real life
small scale
wide variety
search algorithm
database
genetic algorithm
bayesian networks
computer science
technical systems