Modular and verified automatic program repair.

Francesco Logozzo Thomas Ball

Published in: OOPSLA (2012)

Keyphrases

semi automatic
fully automatic
computer programs
mobile robot
static analysis
database
data sets
databases
neural network
real world
decision trees
database systems
digital libraries
open source