Nafi Diallo
Nafi Diallo
Assistant Professor, Department of Computer Science and Software Engineering, Monmouth University
Verified email at njit.edu - Homepage
TitleCited byYear
Relational mathematics for relative correctness
J Desharnais, N Diallo, W Ghardallou, MF Frias, A Jaoua, A Mili
International Conference on Relational and Algebraic Methods in Computer …, 2015
112015
Verifying while loops with invariant relations.
A Louhichi, W Ghardallou, K Bsaies, LL Jilani, O Mraihi, A Mili
IJCCBS 5 (1/2), 78-102, 2014
102014
Program Derivation by Correctness Enhacements
N Diallo, W Ghardallou, J Desharnais, A Mili
arXiv preprint arXiv:1606.02020, 2016
92016
Debugging without testing
W Ghardallou, N Diallo, A Mili, MF Frias
2016 IEEE International Conference on Software Testing, Verification and …, 2016
72016
Correctness and relative correctness
N Diallo, W Ghardallou, A Mili
Proceedings of the 37th International Conference on Software Engineering …, 2015
72015
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 (2-3), 219-239, 2017
42017
Software Evolution by Correctness Enhancement.
W Ghardallou, N Diallo, A Mili
SEKE, 605-610, 2016
22016
Projecting programs on specifications: Definition and implications
J Desharnais, N Diallo, W Ghardallou, A Mili
Science of Computer Programming 138, 26-48, 2017
12017
Program repair by stepwise correctness enhancement
N Diallo, W Ghardallou, A Mili
arXiv preprint arXiv:1606.00502, 2016
12016
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
2018
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
What is a Software Fault, and Why Does It Matter?
N Diallo, W Ghardallou, A Jaoua, M Frias, A Mili
Integrating Abort Freedom into Termination
W Ghardallou, N Diallo, A Mili
The system can't perform the operation now. Try again later.
Articles 1–16