Automated Fixing of Programs with Contracts.

Yu Pei Carlo A. Furia Martin Nordio Yi Wei Bertrand Meyer Andreas Zeller

Published in: CoRR (2014)

Keyphrases

fully automated
supply chain
semi automated
computer vision
semi automatic
computer programs
genetic algorithm
video sequences
database
artificial intelligence
decision trees
multi agent
search algorithm
data driven
control structures