Get started
Author

Wided Ghardallou

Observed name: Ghardallou, Wided
ORCID: 0000-0001-9162-4887
Observed ORCID: 0000-0001-9162-4887
OpenAlex ID: A5038251001
Debugging without Testing
2016 · Wided Ghardallou, Nafi Diallo, et al. · IEEE International Conference on Software Testing, Verification and Validation (ICST) · 14
Relational Mathematics for Relative Correctness
2015 · Jules Desharnais, Nafi Diallo, et al. · Lecture notes in computer science · 12
Computing Preconditions and Postconditions of While Loops
2011 · Olfa Mraihi, Wided Ghardallou, et al. · Lecture notes in computer science · 12
Correctness and relative correctness
2015 · Nafi Diallo, Wided Ghardallou, et al. · 11
A versatile concept for the analysis of loops
2012 · Wided Ghardallou, Olfa Mraihi, et al. · The Journal of Logic and Algebraic Programming · 10
Correctness and Relative Correctness
2015 · Nafi Diallo, Wided Ghardallou, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 9
Invariant functions and invariant relations: An alternative to invariant assertions
2012 · Lamia Labed Jilani, Olfa Mraihi, et al. · Journal of Symbolic Computation · 9
Verifying while loops with invariant relations
2014 · Asma Louhichi, Wided Ghardallou, et al. · International Journal of Critical Computer-Based Systems · 7
Invariant Relations: An Automated Tool to Analyze Loops
2011 · Asma Louhichi, Olfa Mraihi, et al. · Electronic workshops in computing · 7
PDF
What is a fault? and why does it matter?
2017 · Nafi Diallo, Wided Ghardallou, et al. · Innovations in Systems and Software Engineering · 5
PDF
Relative correctness: A bridge between testing and proving
2016 · Nafi Diallo, Wided Ghardallou, et al. · 5
Assume, Capture, Verify, Establish: Ingredients for Scalable Software Analysis
2021 · Hessamaldin Mohammadi, Wided Ghardallou, et al. · IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) · 4
Convergence: Integrating termination and abort-freedom
2018 · Nafi Diallo, Wided Ghardallou, et al. · Journal of Logical and Algebraic Methods in Programming · 4
PDF
Software Evolution by Correctness Enhancement
2016 · Wided Ghardallou, Nafi Diallo, et al. · Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering · 3
PDF
Program Repair by Stepwise Correctness Enhancement
2016 · Nafi Diallo, Wided Ghardallou, et al. · Electronic Proceedings in Theoretical Computer Science · 3
PDF
Computing program functions
2022 · Hessamaldin Mohammadi, Wided Ghardallou, et al. · IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE) · 2
Projecting programs on specifications: Definition and implications
2017 · Jules Desharnais, Nafi Diallo, et al. · Science of Computer Programming · 2
PDF
Invariant relations for affine loops
2024 · Wided Ghardallou, Hessamaldin Mohammadi, et al. · Acta Informatica · 1
On the persistent rumors of the programmer’s imminent demise
2023 · Hessam Mohammadi, Wided Ghardallou, et al. · Software & Systems Modeling · 1
Relative Correctness: A Bridge Between Proving and Testing.
2016 · Wided Ghardallou, Ali Mili, et al. · 1
Using invariant relations in the termination analysis of while loops
2012 · Wided Ghardallou · 1
“Function Extraction: A New Paradigm for Producing Secure Code“
2024 · Richard Linger, Mark Pleszkoch, et al. · New Security Paradigms Workshop
Software Runs Everything Off-World: Let’s Make Sure It’s Correct and Secure
2024 · Richard C. Linger, John McHugh, et al. · AIAA AVIATION Forum
Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis
2023 · Hessamaldin Mohammadi, Wided Ghardallou, et al. · IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)
Invariant Relations: A Bridge from Programs to Equations
2023 · Ghardallou, Wided, Mohammadi, Hessamaldin, et al. · arXiv (Cornell University)
PDF
Works count: 31
Citation count: 123
H-index: 7
I10-index: 5
Year
Topic
Type