Nafi Diallo

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 7

Top Topics

Provably Correct

Fault Localization

Software Evolution

Automatic Programming

Top Venues

J. Log. Algebraic Methods Program.

Publications

Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili
Convergence: Integrating termination and abort-freedom. J. Log. Algebraic Methods Program. 97 (2018)
Jules Desharnais, Nafi Diallo, Wided Ghardallou, Ali Mili
Projecting programs on specifications: Definition and implications. Sci. Comput. Program. 138 (2017)
Nafi Diallo, Wided Ghardallou, Jules Desharnais, Marcelo F. Frias, Ali Jaoua, Ali Mili
What is a fault? and why does it matter? Innov. Syst. Softw. Eng. 13 (2-3) (2017)
Nafi Diallo, Wided Ghardallou, Ali Mili
Program Repair by Stepwise Correctness Enhancement. PrePost@IFM (2016)
Wided Ghardallou, Ali Mili, Nafi Diallo
Relative Correctness: A Bridge Between Proving and Testing. VECoS (2016)
Wided Ghardallou, Nafi Diallo, Ali Mili, Marcelo F. Frias
Debugging without Testing. ICST (2016)
Wided Ghardallou, Nafi Diallo, Ali Mili
Software Evolution by Correctness Enhancement. SEKE (2016)
Nafi Diallo, Wided Ghardallou, Ali Mili
Correctness and Relative Correctness. ICSE (2) (2015)
Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili
Program Derivation by Correctness Enhacements. Refine@FM (2015)
Jules Desharnais, Nafi Diallo, Wided Ghardallou, Marcelo F. Frias, Ali Jaoua, Ali Mili
Relational Mathematics for Relative Correctness. RAMiCS (2015)