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

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/vas.pdf

 

 

 

 

Recent

Publications

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