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
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Subsumption, correctness and relative correctness: Implications for software testing;Science of Computer Programming;2025-01
2. Toward a theory of program repair;Acta Informatica;2023-03-27
3. A Massively Parallel Approach to Automated Software Correctness Enhancement in Java;Frontiers in Artificial Intelligence and Applications;2021-09-08
4. Mutation Subsumption as Relative Incorrectness;Communications in Computer and Information Science;2021
5. Program Repair at Arbitrary Fault Depth;2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST);2019-04