@inproceedings(ArcuriYao2008,
 author       = {A. Arcuri and X. Yao},
 year         = {2008},
 title        = {A Novel Co-evolutionary Approach to Automatic Software Bug Fixing},
 booktitle    = {CEC 2008},
 pages        = {162--168},
 doi          = {10.1109/CEC.2008.4630793},
)
@book(brinkkahlschmidt97,
 author       = {Ch. Brink and W. Kahl and G. Schmidt},
 year         = {1997},
 title        = {Relational Methods in Computer Science},
 publisher    = {Springer Verlag},
 doi          = {10.1007/978-3-7091-6510-2},
)
@inproceedings(KSK13,
 author       = {Kim D. and Nam J. and Song J. and Kim S.},
 year         = {2013},
 title        = {Automatic patch generation learned from human-written patches},
 booktitle    = {ICSE 2013},
 pages        = {802--811},
 doi          = {10.1109/ICSE.2013.6606626},
)
@inproceedings(ramics2015,
 author       = {Jules Desharnais and Nafi Diallo and Wided Ghardallou and Marcelo Frias and Ali Jaoua and Ali Mili},
 year         = {2015},
 title        = {Mathematics for Relative Correctness},
 booktitle    = {Relational and Algebraic Methods in Computer Science, 2015},
 address      = {Lisbon, Portugal},
 pages        = {191--208},
 doi          = {10.1007/978-3-319-24704-5\_12},
)
@inproceedings(oslo2015,
 author       = {Nafi Diallo and Wided Ghardallou and Ali Mili},
 year         = {2015},
 title        = {Program Derivation by Correctness Enhancements},
 booktitle    = {Proceedings, Refinement 2015},
 address      = {Oslo, Norway},
)
@book(dijkstra76,
 author       = {E.W. Dijkstra},
 year         = {1976},
 title        = {A Discipline of Programming},
 publisher    = {Prentice Hall},
)
@inproceedings(chicago2016,
 author       = {Wided Ghardallou and Nafi Diallo and Ali Mili and Marcelo Frias},
 year         = {2016},
 title        = {Debugging without Testing},
 booktitle    = {Proceedings, International Conference on Software Testing},
 address      = {Chicago, IL},
)
@inproceedings(gopinath2011,
 author       = {Divya Gopinath and Mohammad Zubair Malik and Sarfraz Khurshid},
 year         = {2011},
 title        = {Specification Based Program Repair Using SAT},
 booktitle    = {Proceedings, TACAS},
 pages        = {173--188},
 doi          = {10.1007/978-3-642-19835-9\_15},
)
@article(LeGoues+2012,
 author       = {C. Le Goues and T. Nguyen and S. Forrest and W. Weimer},
 year         = {2012},
 title        = {GenProg: A Generic Method for Automated Software Repair},
 journal      = {IEEE Transactions on Software Engineering},
 volume       = {31},
 number       = {1},
 doi          = {10.1109/TSE.2011.104},
)
@book(gries81,
 author       = {D. Gries},
 year         = {1981},
 title        = {The Science of programming},
 publisher    = {Springer Verlag},
 doi          = {10.1007/978-1-4612-5983-1},
)
@book(hehner92,
 author       = {E.C.R. Hehner},
 year         = {1992},
 title        = {A Practical Theory of Programming},
 publisher    = {Prentice Hall},
 doi          = {10.1007/978-1-4419-8596-5},
)
@inproceedings(lahiri2013,
 author       = {Shuvendu K. Lahiri and Kenneth L. McMillan and Rahul Sharma and Chris Hawblitzel},
 year         = {2013},
 title        = {Differential Assertion Checking},
 booktitle    = {Proceedings, ESEC/ SIGSOFT FSE},
 pages        = {345--455},
 doi          = {10.1145/2491411.2491452},
)
@inproceedings(logozzo2012,
 author       = {Francesco Logozzo and Thomas Ball},
 year         = {2012},
 title        = {Modular and Verified Automatic Program Repair},
 booktitle    = {Proceedings, OOPSLA},
 pages        = {133--146},
 doi          = {10.1145/2384616.2384626},
)
@inproceedings(logozzo2014,
 author       = {Francesco Logozzo and Shuvendu Lahiri and Manual Faehndrich and Sam Blackshear},
 year         = {2014},
 title        = {Verification Modulo Versions: Towards Usable Verification},
 booktitle    = {Proceedings, PLDI},
 pages        = {32},
 doi          = {10.1145/2594291.2594326},
)
@article(ma2005,
 author       = {Yu Seung Ma and Jeff Offutt and Yong Rae Kwon},
 year         = {2005},
 title        = {Mu Java: An Automated Class Mutation System},
 journal      = {Software Testing, Verification and Reliability},
 volume       = {15},
 number       = {2},
 pages        = {97--133},
 doi          = {10.1002/stvr.v15:2},
)
@inproceedings(ramics2014,
 author       = {Ali Mili and Marcelo Frias and Ali Jaoua},
 year         = {2014},
 title        = {On Faults and Faulty Programs},
 editor       = {Peter Hoefner and Peter Jipsen and Wolfram Kahl and Martin Eric Mueller},
 booktitle    = {Proceedings, RAMICS: 14th International Conference on Relational and Algebraic Methods in Computer Science},
 series       = {Lecture Notes in Computer Science},
 volume       = {8428},
 publisher    = {Springer},
 address      = {Marienstatt, Germany},
 pages        = {191--207},
 doi          = {10.1007/978-3-319-06251-8\_12},
)
@book(mills86,
 author       = {H.D. Mills and V.R. Basili and J.D. Gannon and D.R. Hamlet},
 year         = {1986},
 title        = {Structured Programming: A Mathematical Approach},
 publisher    = {Allyn and Bacon},
 address      = {Boston, Ma},
)
@book(schmidt90,
 author       = {G. Schmidt and T. Stroehlein},
 year         = {1990},
 title        = {Relationen und Graphen},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Germany},
 doi          = {10.1002/zamm.19910710911},
)
@inproceedings(DW10,
 author       = {Debroy V. and Wong W.E.},
 year         = {2010},
 title        = {Using Mutation to Automatically Suggest Fixes to Faulty Programs},
 booktitle    = {Proceedings, ICST 2010},
 pages        = {65--74},
 doi          = {10.1109/ICST.2010.66},
)
@techreport(Stryker,
 author       = {L. Zem\'in and S. Gutti\'errez and S. Perez de Rosso and N. Aguirre and A. Mili and A. Jaoua and M. Frias},
 year         = {2015},
 title        = {Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT},
 type         = {Technical Report},
 institution  = {ITBA, Buenos Aires, Argentina},
)