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
International Conference on Relational and Algebraic Methods in Computer …, 2015
162015
Program derivation by correctness enhacements
N Diallo, W Ghardallou, J Desharnais, A Mili
arXiv preprint arXiv:1606.02020, 2016
112016
Correctness and relative correctness
N Diallo, W Ghardallou, A Mili
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
102015
Debugging without testing
W Ghardallou, N Diallo, A Mili, MF Frias
2016 IEEE International Conference on Software Testing, Verification and …, 2016
82016
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), 219-239, 2017
62017
Program repair by stepwise correctness enhancement
N Diallo, W Ghardallou, A Mili
arXiv preprint arXiv:1606.00502, 2016
42016
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
42016
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
32018
Projecting programs on specifications: Definition and implications
J Desharnais, N Diallo, W Ghardallou, A Mili
Science of Computer Programming 138, 26-48, 2017
32017
Software Evolution by Correctness Enhancement.
W Ghardallou, N Diallo, A Mili
SEKE, 605-610, 2016
22016
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