Program repair without regret.

Christian von Essen Barbara Jobstmann

Published in: Formal Methods Syst. Des. (2015)

Keyphrases

databases
lower bound
worst case
computer programs
data sets
upper bound
online learning
programming environment
fault localization
information systems
high level
loss function
cost sensitive
control program
consistent query answering