Deductive Program Repair

Citation

Etienne Kneuss, Manos Koukoutos, and Viktor Kuncak. Deductive program repair. In Computer-Aided Verification (CAV), 2015.

BibTex Entry

@inproceedings{KneussETAL15DeductiveProgramRepair,
  author = {Etienne Kneuss and Manos Koukoutos and Viktor Kuncak},
  title = {Deductive Program Repair},
  booktitle = {Computer-Aided Verification (CAV)},
  year = 2015
}