Correctness and relative correctness N Diallo, W Ghardallou, A Mili 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015 | 19 | 2015 |
Relational mathematics for relative correctness J Desharnais, N Diallo, W Ghardallou, MF Frias, A Jaoua, A Mili Relational and Algebraic Methods in Computer Science: 15th International …, 2015 | 19 | 2015 |
Program derivation by correctness enhacements N Diallo, W Ghardallou, J Desharnais, A Mili arXiv preprint arXiv:1606.02020, 2016 | 13 | 2016 |
Debugging without testing W Ghardallou, N Diallo, A Mili, MF Frias 2016 IEEE International Conference on Software Testing, Verification and …, 2016 | 12 | 2016 |
What is a fault? and why does it matter? N Diallo, W Ghardallou, J Desharnais, M Frias, A Jaoua, A Mili Innovations in Systems and Software Engineering 13, 219-239, 2017 | 8 | 2017 |
Convergence: Integrating termination and abort-freedom N Diallo, W Ghardallou, J Desharnais, A Mili Journal of Logical and Algebraic Methods in Programming 97, 1-29, 2018 | 5 | 2018 |
Program repair by stepwise correctness enhancement N Diallo, W Ghardallou, A Mili arXiv preprint arXiv:1606.00502, 2016 | 4 | 2016 |
Relative correctness: a bridge between testing and proving N Diallo, W Ghardallou, A Mili CEUR Workshop Proceedings 1689, 141-156, 2016 | 4 | 2016 |
Projecting programs on specifications: Definition and implications J Desharnais, N Diallo, W Ghardallou, A Mili Science of Computer Programming 138, 26-48, 2017 | 3 | 2017 |
Software Evolution by Correctness Enhancement. W Ghardallou, N Diallo, A Mili SEKE, 605-610, 2016 | 2 | 2016 |
What is a Software Fault, and Why Does It Matter? N Diallo, W Ghardallou, A Jaoua, M Frias, A Mili | 1 | 2014 |
Termination, correctness and relative correctness N Diallo | | 2016 |
Loop analysis and repair N Diallo, A Mili CEUR Workshop Proceedings 1454, 23-32, 2015 | | 2015 |
Merging Termination with Abort Freedom W Ghardallou, N Diallo, A Mili SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE, 18, 2014 | | 2014 |
Work-In-Progress: Repairing a Loop by Constructive Transformation using Mutation Analysis N Diallo, W Ghardallou SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE, 13, 2014 | | 2014 |
Integrating Abort Freedom into Termination W Ghardallou, N Diallo, A Mili | | |