Towards automatic synthesis of software verification tools.

Andrey Rybalchenko

Published in: PPDP (2011)

Keyphrases

user friendly
web pages
high level
web technologies
database
genetic algorithm
feature selection
image processing
decision support
learning systems
computational tools
program synthesis