Software Verification: State of the Art and Challenges.

Published in: KIT-Nachwuchswissenschaftler-Symposium (2010)

Keyphrases

lessons learned
key issues
real world
technical challenges
open issues
computational challenges
genetic algorithm
learning algorithm
artificial intelligence
decision trees
software engineering