Computer Science · Physical Sciences
5h-index64citations13works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Software Testing and Debugging Techniques(11), Software Reliability and Analysis Research(11), Software Engineering Research(4), Radiation Effects in Electronics(3), Formal Methods in Verification(2)
Publications13 total
arXiv (Cornell University)·2025Open Access
Journal of Logical and Algebraic Methods in Programming·2018· 4 cited
Innovations in Systems and Software Engineering·2017· 4 citedOpen Access
Science of Computer Programming·2017· 2 cited
Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering·2016· 3 citedOpen Access
Electronic Proceedings in Theoretical Computer Science·2016· 3 citedOpen Access
2016· 13 cited
Termination, correctness and relative correctness
2016
Relative Correctness: A Bridge Between Proving and Testing.
2016· 1 cited
Relative correctness: A bridge between testing and proving
2016· 5 cited
International Conference on Software Engineering·2015· 10 cited
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering·2015· 9 cited
Lecture notes in computer science·2015· 10 cited
Frequent Co-authors
Wided Ghardallou(11), Ali Mili(11), Jules Desharnais(4), Marcelo F. Frias(3), Ali Jaoua(2), Sam Bayless(1), Stefano Buliani(1), Darion Cassel(1), Byron Cook(1), Duncan Clough(1), Rémi Delmas(1), Ferhat Erata(1), Nick Feng(1), Dimitra Giannakopoulou(1), Aman Goel(1), Aditya Gokhale(1), Joe Hendrix(1), Marián Hudák(1), Dejan Jovanović(1), Andrew M. Kent(1)