Ali Mili
Professor, Computer Science
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
2025 Fall Courses
CS 725 - INDEPENDENT STUDY I
CS 489 - COMPUTER SCIENCE RESEARCH PROJ
CS 610 - DATA STRUCTURE & ALG
CS 684 - SOFTWARE TEST & QUAL ASSURANCE
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
DS 700B - MASTER'S PROJECT
CS 726 - INDEPENDENT STUDY II
CS 489 - COMPUTER SCIENCE RESEARCH PROJ
CS 610 - DATA STRUCTURE & ALG
CS 684 - SOFTWARE TEST & QUAL ASSURANCE
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
DS 700B - MASTER'S PROJECT
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 684: SOFTWARE TESTING AND QUALITY 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 684: SOFTWARE TESTING AND QUALITY 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
Samia AlBlwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili.
2025. "Subsumption, Correctness and Relative Correctness: Implications for SoftwareTesting."
Science of Computer Programming , vol. 239 , pp. 54.
Wided Ghardallou, Hessam Mohammadi, Richard C Linger, Mark Pleszkoch, Ji Meng Loh, Ali Mili. 2024. "Invariant Relations for Affine Loops." Springer Verlag , vol. 61 , no. 3 , pp. 261-314.
Hessamaldin Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili. 2023. "On the Persistent Rumors of the Programmer's Imminent Demise." Software and Systems Modeling, Springer , vol. 22 , no. 6 , pp. 1969-1976.
Ali Mili, Aleksndr Zakharchenko, Besma Khaireddine, Matias Martinez. 2023. "Toward a Theory of Program Repair." Acta Informatica, Springer Verlag , vol. 66 , no. 3 , pp. 47.
Ali Mili. 2021. "Differentiators and Detectors." Elsevier , vol. 169 , pp. 6.
Wided Ghardallou, Hessam Mohammadi, Richard C Linger, Mark Pleszkoch, Ji Meng Loh, Ali Mili. 2024. "Invariant Relations for Affine Loops." Springer Verlag , vol. 61 , no. 3 , pp. 261-314.
Hessamaldin Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili. 2023. "On the Persistent Rumors of the Programmer's Imminent Demise." Software and Systems Modeling, Springer , vol. 22 , no. 6 , pp. 1969-1976.
Ali Mili, Aleksndr Zakharchenko, Besma Khaireddine, Matias Martinez. 2023. "Toward a Theory of Program Repair." Acta Informatica, Springer Verlag , vol. 66 , no. 3 , pp. 47.
Ali Mili. 2021. "Differentiators and Detectors." Elsevier , vol. 169 , pp. 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
Ali Mili, Samia Alblwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Loh.
"Three Forms of Subsumption: Basic, Strict and Broad."
"Communications in Computer and Information Science,"
Springer Verlag,
Amani Ayad, Imen Marsit, Mohamed Nazih Omri, Ji Meng Loh, Ali Mili. "Quantitative Analysis of Mutant Equivalence." In Martin van Sinderen and L.A. Maciaszek, eds., "Software Technologies," pp. 58-80. Springer Verlag, 2020.
Amani Ayad, Imen Marsit, Mohamed Nazih Omri, Ji Meng Loh, Ali Mili. "Quantitative Analysis of Mutant Equivalence." In Martin van Sinderen and L.A. Maciaszek, eds., "Software Technologies," pp. 58-80. Springer Verlag, 2020.
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
Ali Mili, Fairouz Tchier.
"Software Testing: Concepts and Operations."
380 pp. John Wiley and Sons, 2015. ISBN 9781118662878.
Ali Mili. "Software Testing." 500 (planned) pp. John Wiley and Sons, 2014.
Ali Mili. "Software Testing." 500 (planned) pp. John Wiley and Sons, 2014.