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 | 14 | 2015 |

Program derivation by correctness enhacements N Diallo, W Ghardallou, J Desharnais, A Mili arXiv preprint arXiv:1606.02020, 2016 | 12 | 2016 |

Verifying while loops with invariant relations A Louhichi, W Ghardallou, K Bsaies, LL Jilani, O Mraihi, A Mili International Journal of Critical Computer-Based Systems 5 (1-2), 78-102, 2014 | 10 | 2014 |

Correctness and relative correctness N Diallo, W Ghardallou, A Mili 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015 | 8 | 2015 |

Debugging without testing W Ghardallou, N Diallo, A Mili, MF Frias 2016 IEEE International Conference on Software Testing, Verification and …, 2016 | 6 | 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 (2-3), 219-239, 2017 | 4 | 2017 |

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 |

Program repair by stepwise correctness enhancement N Diallo, W Ghardallou, A Mili arXiv preprint arXiv:1606.00502, 2016 | 3 | 2016 |

Software Evolution by Correctness Enhancement. W Ghardallou, N Diallo, A Mili SEKE, 605-610, 2016 | 2 | 2016 |

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 |

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 | | |