References

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

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org