Follow
Nafi Diallo
Nafi Diallo
Assistant Professor, Department of Computer Science and Software Engineering, Monmouth University
Verified email at njit.edu - Homepage
Title
Cited by
Cited by
Year
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
182015
Correctness and relative correctness
N Diallo, W Ghardallou, A Mili
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
142015
Program derivation by correctness enhacements
N Diallo, W Ghardallou, J Desharnais, A Mili
arXiv preprint arXiv:1606.02020, 2016
122016
Debugging without testing
W Ghardallou, N Diallo, A Mili, MF Frias
2016 IEEE International Conference on Software Testing, Verification and …, 2016
102016
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
72017
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
52018
Program repair by stepwise correctness enhancement
N Diallo, W Ghardallou, A Mili
arXiv preprint arXiv:1606.00502, 2016
42016
Projecting programs on specifications: Definition and implications
J Desharnais, N Diallo, W Ghardallou, A Mili
Science of Computer Programming 138, 26-48, 2017
32017
Relative correctness: a bridge between testing and proving
N Diallo, W Ghardallou, A Mili
10th Workshop on Verification and Evaluation of Computer and Communication …, 2016
32016
Software Evolution by Correctness Enhancement.
W Ghardallou, N Diallo, A Mili
SEKE, 605-610, 2016
22016
What is a Software Fault, and Why Does It Matter?
N Diallo, W Ghardallou, A Jaoua, M Frias, A Mili
12014
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
The system can't perform the operation now. Try again later.
Articles 1–16