list | abstracts | bib ]

Deductive Program Repair

paper pdf   

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,
  localurl = {http://lara.epfl.ch/~kuncak/papers/KneussETAL15DeductiveProgramRepair.pdf}
}

list | abstracts | bib ]