Author:
Desharnais Jules,Diallo Nafi,Ghardallou Wided,Frias Marcelo F.,Jaoua Ali,Mili Ali
Publisher
Springer International Publishing
Reference14 articles.
1. Boudriga, N., Elloumi, F., Mili, A.: On the Lattice of Specifications: Applications to a Specification Methodology. Formal Aspects of Computing 4, 544–571 (1992)
2. Diallo, N., Ghardallou, W., Mili, A.: Correctness and relative correctness. In: Proceedings of the 37th International Conference on Software Engineering, Firenze, Italy, May 20–22 (2015)
3. Diallo, N., Ghardallou, W., Mili, A.: Program derivation by correctness enhancements. In: Refinement 2015, Oslo, Norway (June 2015)
4. Lahiri, S.K., McMillan, K.L., Sharma, R., Hawblitzel, C.: Differential assertion checking. In: Proceedings of the ESEC/SIGSOFT FSE, pp. 345–455 (2013)
5. LeGoues, C., Forrest, S., Weimer, W.: Current challenges in automatic software repair. Software Quality Journal 21(3), 421–443 (2013)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Toward a theory of program repair;Acta Informatica;2023-03-27
2. Mutation Subsumption as Relative Incorrectness;Communications in Computer and Information Science;2021
3. Program Repair at Arbitrary Fault Depth;2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST);2019-04
4. Programming Without Refining;Electronic Proceedings in Theoretical Computer Science;2018-10-24
5. What is a fault? and why does it matter?;Innovations in Systems and Software Engineering;2017-08-22