Albert Marquet, Sidi Bou Said, 1923

 

 

Ali Mili

 

Professor and Associate Dean

 

College of Computing Science, GITC 3500

New Jersey Institute of Technology,

University Heights,  Newark NJ 07102-1982

<lastname> at <institution> . <domain>

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

 

Doctorat es-Sciences, Grenoble (1985)

PhD, Illinois (1981)                                                    

Doctorat de 3eme Cycle, Grenoble (1978)

 

 

DEA, Maitrise, Grenoble (1977)                                   

DEUG, Perpignan (1974)                                                    

Pre-Engineering, Tunis (1973)

 

 

 

 

 

 

Curriculum Vitae

http://web.njit.edu/~mili/cv.pdf

 

 

 

 

Software Engineering Laboratory @ NJIT

https://selab.njit.edu/

 

 

 

 

Secure Computing Initiative

 

https://sci.njit.edu/

 

 

 

 

Professional Sites

Dblp

http://dblp.uni-trier.de/pers/hd/m/Mili:Ali

 

Research Gate

https://www.researchgate.net/profile/Ali_Mili3

 

Google Scholar

https://scholar.google.com/citations?user=GPRauj0AAAAJ&hl=en&oi=ao

 

LinkedIn

http://www.linkedin.com/

 

 

 

 

Courses taught recently

CS 610:  Data Structures and Algorithms

http://catalog.njit.edu/graduate/computing-sciences/computer-science/#coursestext

 

CS 684:  Software Quality and Testing

http://catalog.njit.edu/graduate/computing-sciences/computer-science/#coursestext

 

CS 673:  Software Design

http://catalog.njit.edu/graduate/computing-sciences/computer-science/#coursestext

 

 

 

 

Recent Books

Software Testing, 2015

 

http://www.wiley.com/WileyCDA/WileyTitle/productCd-1118662873.html

 

Software Reuse, 2002

http://www.wiley.com/WileyCDA/WileyTitle/productCd-0471398195.html

 

 

 

Recent Papers

(unpublished)

Redundancy:  The Mutants’ Elixir of Immortality

http://web.njit.edu/~mili/ist.pdf 

 

 

Toward a Theory of Program Repair

http://web.njit.edu/~mili/the.pdf

 

 

 

Recent

Publications

Programming Without Refinement

REFINE ‘18, Oxford, UK July 2018

 

http://web.njit.edu/~mili/oxf.pdf

Convergence:  Integrating Termination and Abort Freedom.

JLAMP, 2018.

 

http://web.njit.edu/~mili/cov.pdf

 

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

 

http://web.njit.edu/~mili/fault.pdf

 

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

 

http://web.njit.edu/~mili/mad.pdf 

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

http://web.njit.edu/~mili/bar.pdf

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

 

http://web.njit.edu/~mili/prj.pdf

Relative Correctness:  A Bridge Between Proving and Testing.

VeCoS, 2016.  Tunis, October 2016

 

http://web.njit.edu/~mili/tun.pdf

 

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

 

http://web.njit.edu/~mili/sfo.pdf

 

 

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

 

http://web.njit.edu/~mili/ppv.pdf

 

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

 

http://web.njit.edu/~mili/dwt.pdf

 

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

http://web.njit.edu/~mili/rc.pdf

 

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

http://web.njit.edu/~mili/der.pdf

 

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

http://web.njit.edu/~mili/nir.pdf

 

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

http://web.njit.edu/~mili/invscp.pdf

 

Verification of Correctness and Incorrectness, IJCCBS 2014

 

http://web.njit.edu/~mili/ccb.pdf

 

Semantic Metrics, ISSE 2014

 

http://web.njit.edu/~mili/sem.pdf