Ali Mili

New Jersey Institute of Technology — United States

Computer Science · Physical Sciences

21h-index1.6kcitations209works0.72yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Testing and Debugging Techniques(63), Software Engineering Research(62), Software Reliability and Analysis Research(58), Logic, programming, and type systems(41), Formal Methods in Verification(36)

Publications209 total

Detecting faults vs. Exposing failures: Orthogonal measures of test suite effectiveness
Journal of Systems and Software·2025
“Function Extraction: A New Paradigm for Producing Secure Code“
2024
Software Runs Everything Off-World: Let’s Make Sure It’s Correct and Secure
2024
Subsumption, correctness and relative correctness: Implications for software testing
Science of Computer Programming·2024· 2 cited
Detecting Faults vs. Revealing Failures: Exploring the Missing Link
2024· 1 cited
Invariant relations for affine loops
Acta Informatica·2024Open Access
Mutation Coverage is not Strongly Correlated with Mutation Coverage
2024· 3 citedOpen Access
What Coverage Metrics Mean, and What They Do Not
SSRN Electronic Journal·2024Open Access
Detecting Faults vs. Exposing Failures:Orthogonal Measures of Test Suite Effectiveness
SSRN Electronic Journal·2024Open Access
On the persistent rumors of the programmer’s imminent demise
Software & Systems Modeling·2023
Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis
2023
Invariant Relations: A Bridge from Programs to Equations
arXiv (Cornell University)·2023Open Access
Toward a theory of program repair
Acta Informatica·2023· 4 cited
Provably Correct Software: Don't Leave Earth Without It
AIAA SCITECH 2023 Forum·2023
Test suites (TS)
Figshare·2023Open Access
Three Forms of Mutant Subsumption: Basic, Strict and Broad
Communications in computer and information science·2023
Subsumption, Correctness and Relative Correctness
SSRN Electronic Journal·2023Open Access
Semantic Coverage: Measuring Test Suite Effectiveness
2023Open Access
Invariant Relations for Recurrence and Stratified Recurrence
SSRN Electronic Journal·2023Open Access
Subsumption, Correctness and Relative Correctness
SSRN Electronic Journal·2023Open Access
page 1 of 11Next →

Frequent Co-authors

Frederick T. Sheldon(12), Robert K. Abercrombie(11), Jules Desharnais(11), Anis Ben Aissa(8), Wided Ghardallou(6), Ali Jaoua(5), Olfa Mraihi(4), Asma Louhichi(4), Lamia Labed Jilani(4), Nafi Diallo(4), Latifa Ben Arfa Rabai(3), Mouna Jouini(3), Noureddine Boudriga(3), Fatma Mili(3), Marcelo F. Frias(3), Marc Frappier(3), Fairouz Tchier(2), Axel Krings(2), Shir Aharon(2), Chaitanya Nadkarni(2)