Ali Mili
Ali Mili
Professor, Office of the Dean - YWCC
Associate Dean for Academic Affairs
Associate Dean for Academic Affairs
5700 Guttenberg Information Technologies Center (GITC)
About Me
PhD from the University of Illinois, Doctorat es Sciences d'Etat from the University of Grenoble. Currently on the CS Faculty at NJIT. Taught/ worked at several universities around the world, including Algeria (Oran, Algiers), Austria (Klagenfurt), Australia (Adelaide, Brisbane), Canada (Ottawa, Montreal, Quebec), China (ShangHai, Harbin), France (Grenoble), Sudan (Khartoum), Tunisia (Tunis), USA (SEI/CMU, Texas A&M, UT Arlington, WVU). Interested in software engineering, notably program correctness, program repair, software testing.
Education
doctorat es sciences d'Etat; Universite Joseph Fourier de Grenoble; Computer Engineering; 1985
Ph.D.; University of Illinois; Computer Science; 1981
Doctorat de Troisieme Cycle; Universite Joseph Fourier de Grenoble; Octorat De Troisieme Cycle Computer Engineering; 1978
Ph.D.; University of Illinois; Computer Science; 1981
Doctorat de Troisieme Cycle; Universite Joseph Fourier de Grenoble; Octorat De Troisieme Cycle Computer Engineering; 1978
Website
2024 Fall Courses
CS 725 - INDEPENDENT STUDY I
CS 610 - DATA STRUCTURE & ALG
CS 700B - MASTER'S PROJECT
CS 790A - DOCT DISSERTATION & RES
CS 488 - INDEPENDENT STUDY IN CS
CS 701B - MASTER'S THESIS
CS 792 - PRE-DOCTORAL RESEARCH
CS 726 - INDEPENDENT STUDY II
CS 610 - DATA STRUCTURE & ALG
CS 700B - MASTER'S PROJECT
CS 790A - DOCT DISSERTATION & RES
CS 488 - INDEPENDENT STUDY IN CS
CS 701B - MASTER'S THESIS
CS 792 - PRE-DOCTORAL RESEARCH
CS 726 - INDEPENDENT STUDY II
Teaching Interests
software engineering
algorithms and data structures
software testing
program correctness
algorithms and data structures
software testing
program correctness
Past Courses
CS 435: ADV DATA STRUCT-ALG DES
CS 435: ADVANCED DATA STRUCTURES AND ALGORITHM DESIGN
CS 610: DATA STRUCTURE & ALG
CS 610: DATA STRUCTURES AND ALGORITHMS
CS 673: SOFTWARE DES & PROD METH
CS 684: SOFTWARE TEST & QUAL ASSURANCE
CS 698: ST:
CS 698: ST:SOFTWARE PROJECT MANAGEMENT
CS 698: ST:SOFTWARE QUALITY & TESTING
CS 698: ST:SOFTWARE QUALITY AND TESTING
CS 791: DOCTORAL SEMINAR
FRSH SEM: FIRST-YEAR SEMINAR
CS 435: ADVANCED DATA STRUCTURES AND ALGORITHM DESIGN
CS 610: DATA STRUCTURE & ALG
CS 610: DATA STRUCTURES AND ALGORITHMS
CS 673: SOFTWARE DES & PROD METH
CS 684: SOFTWARE TEST & QUAL ASSURANCE
CS 698: ST:
CS 698: ST:SOFTWARE PROJECT MANAGEMENT
CS 698: ST:SOFTWARE QUALITY & TESTING
CS 698: ST:SOFTWARE QUALITY AND TESTING
CS 791: DOCTORAL SEMINAR
FRSH SEM: FIRST-YEAR SEMINAR
Research Interests
software engineering
software testing
program verification
program repair
software testing
program verification
program repair
In Progress
A Theory of Program Repair
Using relative correctness as a foundation for program repair
Computing Loop Functions
Outgrowth of consultancy to SEI, dealing with the automation of extracting loop functions.
Computing Program Functions
Combining the mathematics of computing Loop Functions with rules for composing programs. Building an interface to query programs through Assume(), Verify(), Capture(), Establish().
Using relative correctness as a foundation for program repair
Computing Loop Functions
Outgrowth of consultancy to SEI, dealing with the automation of extracting loop functions.
Computing Program Functions
Combining the mathematics of computing Loop Functions with rules for composing programs. Building an interface to query programs through Assume(), Verify(), Capture(), Establish().
Journal Article
AlBlwi, Samia, & Marsit, Imen, & Khaireddine, Besma, & Ayad, Amani, & Loh, Ji Meng, & Mili, Ali (2025). Subsumption, Correctness and Relative Correctness: Implications for SoftwareTesting. Science of Computer Programming, 239, 54.
Ghardallou, Wided, & Mohammadi, Hessam, & Linger, Richard C, & Pleszkoch, Mark, & Loh, Ji Meng, & Mili, Ali (2024). Invariant Relations for Affine Loops. Springer Verlag, 61(3), 261-314.
Mohammadi, Hessamaldin, & Ghardallou, Wided, & Brick, Elijah, & Mili, Ali (2023). On the Persistent Rumors of the Programmer's Imminent Demise. Software and Systems Modeling, Springer, 22(6), 1969-1976.
Mili, Ali, & Zakharchenko, Aleksndr, & Khaireddine, Besma, & Martinez, Matias (2023). Toward a Theory of Program Repair. Acta Informatica, Springer Verlag, 66(3), 47.
Mili, Ali (2021). Differentiators and Detectors. Elsevier, 169, 6.
Ghardallou, Wided, & Mohammadi, Hessam, & Linger, Richard C, & Pleszkoch, Mark, & Loh, Ji Meng, & Mili, Ali (2024). Invariant Relations for Affine Loops. Springer Verlag, 61(3), 261-314.
Mohammadi, Hessamaldin, & Ghardallou, Wided, & Brick, Elijah, & Mili, Ali (2023). On the Persistent Rumors of the Programmer's Imminent Demise. Software and Systems Modeling, Springer, 22(6), 1969-1976.
Mili, Ali, & Zakharchenko, Aleksndr, & Khaireddine, Besma, & Martinez, Matias (2023). Toward a Theory of Program Repair. Acta Informatica, Springer Verlag, 66(3), 47.
Mili, Ali (2021). Differentiators and Detectors. Elsevier, 169, 6.
SHOW MORE
Working Paper
Function Extraction: A New Paradigm for Producing Secure Code
New Security Paradigms Workshop, IEEE Computer Society and ACM, September 2024
New Security Paradigms Workshop, IEEE Computer Society and ACM, September 2024
Conference Paper
Detecting Faults vs Revealing Failures: Exploring the Missing Gap
QRS 2024: Software Quality, Reliability, and Security, July (3rd Quarter/Summer) 2024
Mutation Coverage is Not Strongly Correlated with Mutation Coverage
IEEE Computer Society/ ACM, April (2nd Quarter/Spring) 2024
Semantic Coverage: Measuring Test Suite Effectiveness
INSTICC, July (3rd Quarter/Summer) 2023
QRS 2024: Software Quality, Reliability, and Security, July (3rd Quarter/Summer) 2024
Mutation Coverage is Not Strongly Correlated with Mutation Coverage
IEEE Computer Society/ ACM, April (2nd Quarter/Spring) 2024
Semantic Coverage: Measuring Test Suite Effectiveness
INSTICC, July (3rd Quarter/Summer) 2023
Chapter
Mili, Ali, & Alblwi, Samia, & Marsit, Imen, & Khaireddine, Besma, & Ayad, Amani, & Loh, Ji Three Forms of Subsumption: Basic, Strict and Broad, Springer Verlag. Heidelberg: Springer Verlag
Ayad, Amani, & Marsit, Imen, & Omri, Mohamed Nazih, & Loh, Ji Meng, & Mili, Ali (2020). Quantitative Analysis of Mutant Equivalence, Martin van Sinderen and L.A. Maciaszek (Eds.), Springer Verlag. (pp. 58-80). Heidelberg: Springer Verlag
Ayad, Amani, & Marsit, Imen, & Omri, Mohamed Nazih, & Loh, Ji Meng, & Mili, Ali (2020). Quantitative Analysis of Mutant Equivalence, Martin van Sinderen and L.A. Maciaszek (Eds.), Springer Verlag. (pp. 58-80). Heidelberg: Springer Verlag
Conference Proceeding
Computing Program Functions
ACM, May 2022
Assume(), Capture(), Verify(), Establish(): Ingredients for Scalable Program Verification
QRS Workshops, December 2021
Mutation Subsumption as Relative Incorrectness
Springer Verlag, September 2021
The Bane of Generate-and-Validate Program Repair: Too Much Generation, too Little Validation
IOS Press, September 2021
A Massively Parallel Approach to Automated Software Correctness Enhancement in Java
IOS Press, September 2021
ACM, May 2022
Assume(), Capture(), Verify(), Establish(): Ingredients for Scalable Program Verification
QRS Workshops, December 2021
Mutation Subsumption as Relative Incorrectness
Springer Verlag, September 2021
The Bane of Generate-and-Validate Program Repair: Too Much Generation, too Little Validation
IOS Press, September 2021
A Massively Parallel Approach to Automated Software Correctness Enhancement in Java
IOS Press, September 2021
SHOW MORE
Book
Mili, Ali, & Tchier, Fairouz (2015). Software Testing: Concepts and Operations. Hoboken, NJ: John Wiley and Sons
Mili, Ali (2014). Software Testing. New York, NY: John Wiley and Sons
Mili, Ali (2014). Software Testing. New York, NY: John Wiley and Sons