Ali Mili, Professor



College of Computing Science, GITC 4305

New Jersey Institute of Technology

Newark NJ 07102-1982

<lastname> at <institution> . <domain>

Ph: (973) 586 5215 Fax: (973) 596 5777


Claude Monet, Poppy field in Giverny, 1890


Doctorat es-Sciences, Grenoble


DEA, Maitrise, Grenoble†††††††††††††††††††††††††††††††††††

PhD, Illinois††††††††††††††††††††††††††††††††††††††††††††††††††††††


DEUG, Perpignan†††††††††††††††††††††††††††††††††††††††††††††††††††

Doctorat de 3eme Cycle, Grenoble


Pre-Engineering, Tunis





Curriculum Vitae





Software Engineering Laboratory @ NJIT



Secure Computing Initiative


Professional Sites



Research Gate


Google Scholar







Courses taught recently

CS 610:Data Structures and Algorithms


CS 684:Software Quality and Testing


CS 673:Software Design





Recent Books

Software Testing, 2015


Software Reuse, 2002




Recent Papers


Redundancy:The Mutantsí Elixir of Immortality.







Convergence:Integrating Termination and Abort Freedom.

JLAMP, 2018.


What is a Fault?And Why Does It Matter?ISSE, August 2017.


Estimating the Survival rate of Mutants.ICSOFT, Madrid, July 2017

A Generic Algorithm for Program Repair.FormaliSE 2017.Buenos Aires, May 2017.

Projecting Programs on Specifications:Definitions and Implications.SCP, 2017.

Relative Correctness:A Bridge Between Proving and Testing.

VeCoS, 2016.Tunis, October 2016


Software Evolution by Correctness Enhancement.SEKE 2016.San Francisco, CA July 2016.



Program Repair with Stepwise Correctness Enhancement, PrePost 2016.Reykjavik, Iceland, June 2016.


Debugging Without Testing, ICST 2016.Chicago, IL, April 2016.


Relational Mathematics for Relative Correctness,RAMICS 2015, September 2015.


Program Derivation by Correctness Enhancements, Refinement 2015.Oslo, Norway, June 2015.


Correctness and Relative Correctness, ICSE 2015.Firenze, Italy, May 2015.


Invariant Assertions, Invariant Functions, and Invariant Relations, SCP, 2014


Verification of Correctness and Incorrectness, IJCCBS 2014


Semantic Metrics, ISSE 2014