Automated fixing of programs with contracts.

Yi Wei Yu Pei Carlo A. Furia Lucas Serpa Silva Stefan Buchholz Bertrand Meyer Andreas Zeller

Published in: ISSTA (2010)

Keyphrases

computer assisted
semi automated
expert systems
supply chain
databases
decision trees
data driven
computer programs
control structures
artificial intelligence
search engine
video sequences
digital libraries
electronic commerce