Ali Mili

ORCID

Publication Activity (10 Years)

Years Active: 1982-2023
Publications (10 Years): 41

Top Venues

ICSOFT

FormaliSE@ICSE

QRS Companion

ICSOFT (Selected Papers)

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Besma Khaireddine, Aleksandr Zakharchenko, Matias Martinez, Ali Mili
Toward a theory of program repair. Acta Informatica 60 (3) (2023)
Wided Ghardallou, Hessamaldin Mohammadi, Elijah Brick, Ali Mili
Invariant Relations: A Bridge from Programs to Equations. CoRR (2023)
Hessam Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili
On the persistent rumors of the programmer's imminent demise. Softw. Syst. Model. 22 (6) (2023)
Samia Al Blwi, Amani Ayad, Besma Khaireddine, Imen Marsit, Ali Mili
Semantic Coverage: Measuring Test Suite Effectiveness. ICSOFT (2023)
Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili
Three Forms of Mutant Subsumption: Basic, Strict and Broad. ICSOFT (Selected Papers) (2022)
Hessamaldin Mohammadi, Wided Ghardallou, Richard C. Linger, Ali Mili
Computing Program Functions. FormaliSE@ICSE (2022)
Samia AlBlwi, Amani Ayad, Besma Khaireddine, Imen Marsit, Ali Mili
Quantifying the Effectiveness of Mutant Sets. QRS Companion (2022)
Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili
Generalized Mutant Subsumption. ICSOFT (2022)
Imen Marsit, Amani Ayad, David Kim, Monsour Latif, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili
The ratio of equivalent mutants: A key to analyzing mutation equivalence. J. Syst. Softw. 181 (2021)
Ali Mili
Differentiators and detectors. Inf. Process. Lett. 169 (2021)
Besma Khaireddine, Amani Ayad, Imen Marsit, Ali Mili
Mutation Subsumption as Relative Incorrectness. QUATIC (2021)
Besma Khaireddine, Ali Mili
Quantifying Faultiness: What Does It Mean to Have N Faults? FormaliSE@ICSE (2021)
Hessamaldin Mohammadi, Wided Ghardallou, Ali Mili
Assume, Capture, Verify, Establish: Ingredients for Scalable Software Analysis. QRS Companion (2021)
Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili
The Bane of Generate-and-Validate Program Repair: Too Much Generation, Too Little Validation. SoMeT (2021)
Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili
A Semantic Definition of Faults and Its Implications. QRS (2020)
Besma Khaireddine, Marwa Ben AbdelAli, Lamia Labed Jilani, Aleksandr Zakharchenko, Ali Mili
Correctness enhancement: a pervasive software engineering paradigm. Int. J. Crit. Comput. Based Syst. 10 (1) (2020)
Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili
Fault Density, Fault Depth and Fault Multiplicity: The Reward of Discernment. QRS Companion (2019)
Amani Ayad, Imen Marsit, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili
Quantitative Metrics for Mutation Testing. ICSOFT (2019)
Amani Ayad, Imen Marsit, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili
Estimating the Number of Equivalent Mutants. ICST Workshops (2019)
Besma Khaireddine, Matias Martinez, Ali Mili
Program Repair at Arbitrary Fault Depth. ICST (2019)
Luciano Zemín, Simón Gutiérrez Brida, Santiago Bermúdez, Santiago Perez De Rosso, Nazareno Aguirre, Ali Mili, Ali Jaoua, Marcelo F. Frias
Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT. CoRR (2019)
Amani Ayad, Imen Marsit, Sara Tawfig, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili
Quantitative Analysis of Mutant Equivalence. ICSOFT (Selected Papers) (2019)
Imen Marsit, Mohamed Nazih Omri, Ji Meng Loh, Ali Mili
Impact of Mutation Operators on Mutant Equivalence. ICSOFT (2018)
Marwa Benabdelali, Lamia Labed Jilani, Wided Ghardallou, Ali Mili
Programming Without Refining. Refine@FM (2018)
Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili
Convergence: Integrating termination and abort-freedom. J. Log. Algebraic Methods Program. 97 (2018)
Imen Marsit, Mohamed Nazih Omri, Ji Meng Loh, Ali Mili
Impact of Mutation Operators on the Ratio of Equivalent Mutants. SoMeT (2018)
Amani Ayad, Imen Marsit, Mohamed Nazih Omri, Ji Meng Loh, Ali Mili
Using Semantic Metrics to Predict Mutation Equivalence. ICSOFT (Selected Papers) (2018)
Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili
A Generic Algorithm for Program Repair. FormaliSE@ICSE (2017)
Jules Desharnais, Nafi Diallo, Wided Ghardallou, Ali Mili
Projecting programs on specifications: Definition and implications. Sci. Comput. Program. 138 (2017)
Nafi Diallo, Wided Ghardallou, Jules Desharnais, Marcelo F. Frias, Ali Jaoua, Ali Mili
What is a fault? and why does it matter? Innov. Syst. Softw. Eng. 13 (2-3) (2017)
Imen Marsit, Mohamed Nazih Omri, Ali Mili
Estimating the Survival Rate of Mutants. ICSOFT (2017)
Nafi Diallo, Wided Ghardallou, Ali Mili
Program Repair by Stepwise Correctness Enhancement. PrePost@IFM (2016)
Wided Ghardallou, Ali Mili, Nafi Diallo
Relative Correctness: A Bridge Between Proving and Testing. VECoS (2016)
Wided Ghardallou, Nafi Diallo, Ali Mili, Marcelo F. Frias
Debugging without Testing. ICST (2016)
Wided Ghardallou, Nafi Diallo, Ali Mili
Software Evolution by Correctness Enhancement. SEKE (2016)
Fairouz Tchier, Latifa Ben Arfa Rabai, Ali Mili
Putting engineering into software engineering: Upholding software engineering principles in the classroom. Comput. Hum. Behav. 48 (2015)
Nafi Diallo, Wided Ghardallou, Ali Mili
Correctness and Relative Correctness. ICSE (2) (2015)
Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili
Program Derivation by Correctness Enhacements. Refine@FM (2015)
Latifa Ben Arfa Rabai, Barry Cohen, Ali Mili
Programming Language Use in US Academia and Industry. Informatics Educ. 14 (2) (2015)
Jules Desharnais, Nafi Diallo, Wided Ghardallou, Marcelo F. Frias, Ali Jaoua, Ali Mili
Relational Mathematics for Relative Correctness. RAMiCS (2015)
Imen Derbel, Lamia Labed Jilani, Ali Mili
Computing Attributes of Software Architectures - A Static Method and Its Validation. ENASE (2015)
Ali Mili, Ali Jaoua, Marcelo F. Frias, Rasha Gaffer Mohamed Helali
Semantic metrics for software products. Innov. Syst. Softw. Eng. 10 (3) (2014)
Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
Quantifying the impact of unavailability in cyber-physical environments. CICS (2014)
Ali Mili, Marcelo F. Frias, Ali Jaoua
On Faults and Faulty Programs. RAMiCS (2014)
Anis Ben Aissa, Latifa Ben Arfa Rabai, Robert K. Abercrombie, Ali Mili, Frederick T. Sheldon
Quantifying availability in SCADA environments using the cyber security metric MFC. CISR (2014)
Imen Derbel, Lamia Labed Jilani, Ali Mili
Automated Quantitative Attributes Prediction from Architectural Description Language. ICSOFT PT (2014)
Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Lamia Labed Jilani, Olfa Mraihi, Ali Mili
Verifying while loops with invariant relations. Int. J. Crit. Comput. Based Syst. 5 (1/2) (2014)
Latifa Ben Arfa Rabai, Mouna Jouini, Anis Ben Aissa, Ali Mili
A cybersecurity model in cloud computing environments. J. King Saud Univ. Comput. Inf. Sci. 25 (1) (2013)
Imen Derbel, Lamia Labed Jilani, Ali Mili
Architecture Level Prediction of Software Quality Attributes. ENASE (2013)
Nicolás Rosner, Carlos Gustavo López Pombo, Nazareno Aguirre, Ali Jaoua, Ali Mili, Marcelo F. Frias
Parallel Bounded Verification of Alloy Models by TranScoping. VSTTE (2013)
Robert K. Abercrombie, Frederick T. Sheldon, Katie R. Hauser, Margaret W. Lantz, Ali Mili
Failure impact analysis of key management in AMI using cybernomic situational assessment (CSA). CSIIRW (2013)
Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Jules Desharnais, Ali Mili
Invariant assertions, invariant relations, and invariant functions. Sci. Comput. Program. 78 (9) (2013)
Robert K. Abercrombie, Frederick T. Sheldon, Katie R. Hauser, Margaret W. Lantz, Ali Mili
Risk Assessment Methodology Based on the NISTIR 7628 Guidelines. HICSS (2013)
Imen Derbel, Lamia Labed Jilani, Ali Mili
ACME+: An ADL for Quantitative Analysis of Quality Attributes. ENASE (Selected Papers) (2013)
Neila Rjaibi, Latifa Ben Arfa Rabai, Anis Ben Aissa, Ali Mili
Mean Failure Cost as a Measurable Value and Evidence of Cybersecurity: E-Learning Case Study. Int. J. Secur. Softw. Eng. 4 (3) (2013)
Imen Derbel, Lamia Labed Jilani, Ali Mili
ACME+ for Software Architecture Analysis. ICSOFT (2013)
Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Ali Mili
Invariant functions and invariant relations: An alternative to invariant assertions. J. Symb. Comput. 48 (2013)
Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi, Ali Mili
Invariant relations, invariant functions, and loop functions. Innov. Syst. Softw. Eng. 8 (3) (2012)
Latifa Ben Arfa Rabai, Mouna Jouini, Marwa Nafati, Anis Ben Aissa, Ali Mili
An economic model of security threats for cloud computing systems. CyberSec (2012)
Wided Ghardallou, Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili
A versatile concept for the analysis of loops. J. Log. Algebraic Methods Program. 81 (5) (2012)
Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
Defining and computing a value based cyber-security measure. Inf. Syst. E Bus. Manag. 10 (4) (2012)
Lamia Labed Jilani, Imen Derbel, Khaled Bsaïes, Hamdi Nasreddine, Ali Mili
Reasoning About Quantitative Architectural Attributes (Invited Paper). J. Softw. 6 (4) (2011)
Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
Validating Cyber Security Requirements: A Case Study. HICSS (2011)
Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili
Computing Preconditions and Postconditions of While Loops. ICTAC (2011)
Latifa Ben Arfa Rabai, Yanzhi Bai, Ali Mili
A quantitative model for software engineering trends. Inf. Sci. 181 (22) (2011)
Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Ali Mili
Using invariant functions and invariant relations to compute loop functions. ICSE (2) (2010)
Ali Mili, Shir Aharon, Chaitanya Nadkarni, Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi
Reflexive transitive invariant relations: A basis for computing loop functions. J. Symb. Comput. 45 (11) (2010)
Imen Derbel, Lamia Labed Jilani, Ali Mili
A model for analyzing architectural attributes. AICCSA (2010)
Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Ali Mili
Towards an automated tool for computing loop functions. AICCSA (2010)
Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Ali Mili
A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions. WING@ETAPS/IJCAR (2010)
Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
Software requirements for a system to compute mean failure cost. CSIIRW (2010)
Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
Modeling stakeholder/value dependency through mean failure cost. CSIIRW (2010)
Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
Quantifying security threats and their potential impacts: a case study. Innov. Syst. Softw. Eng. 6 (4) (2010)
Frederick T. Sheldon, Robert K. Abercrombie, Ali Mili
Methodology for Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission. HICSS (2009)
Ali Mili, Frederick T. Sheldon
Challenging the Mean Time to Failure: Measuring Dependability as a Mean Failure Cost. HICSS (2009)
Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
Quantifying security threats and their impact. CSIIRW (2009)
Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili
Relational Methods in the Analysis of While Loops: Observations of Versatility. RelMiCS (2009)
Latifa Ben Arfa Rabai, Yanzhi Bai, Ali Mili
Modeling the Evolution of Software Engineering Trends - A Bottom Up Approach. ICSOFT (1) (2009)
Ali Mili, Shir Aharon, Chaitanya Nadkarni
Mathematics for reasoning about loop functions. Sci. Comput. Program. 74 (11-12) (2009)
Ali Mili, Rahma Ben Ayed, Shir Aharon, Chaitanya Nadkarni
Harnessing a Refinement Theory to Compute Loop Functions. Electron. Notes Theor. Comput. Sci. 243 (2009)
Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
Managing complex IT security processes with value based measures. CICS (2009)
Ali Mili, Shir Aharon, Chaitanya Nadkarni
An Algorithm for Computing Loop Functions. SEKE (2008)
Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
Synopsis of Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission Value. HASE (2008)
Frederick T. Sheldon, Robert K. Abercrombie, Ali Mili
Evaluating security controls based on key performance indicators and stakeholder mission. CSIIRW (2008)
Yi Peng, Fu Li, Ali Mili
Modeling the evolution of operating systems: An empirical study. J. Syst. Softw. 80 (1) (2007)
Ali Mili, Alex Vinokurov, Lamia Labed Jilani, Frederick T. Sheldon, Rahma Ben Ayed
Towards an Engineering Discipline of Computational Society. HICSS (2007)
Ali Mili, Tim Daly, Mark G. Pleszkoch, Stacy J. Prowell
A Semantic Recognizer Infrastructure for Computing Loop Behavior. HICSS (2007)
Yanzhi Bai, Ali Mili
Monitoring software technology evolution, one trend at a time. SEDE (2007)
Ali Mili, Frederick T. Sheldon
Measuring Reliability as a Mean Failure Cost. HASE (2007)
Ali Mili
A Refinement Based Framework for Computing Loop Behavior. SEW (2007)
Mustafa Korkmaz, Ali Mili
A Product Line of Software Reuse Cost Models. ICSOFT (SE) (2007)
Ali Mili, Frederick T. Sheldon, Lamia Labed Jilani, Alex Vinokurov, Alexander Thomasian, Rahma Ben Ayed
Modeling security as a dependability attribute: a refinement-based approach. Innov. Syst. Softw. Eng. 2 (1) (2006)
Ali Mili, Lan Wu, Frederick T. Sheldon, Mark Shereshevsky, Jules Desharnais
Modeling Redundancy: Quantitative and Qualitative Models. AICCSA (2006)
Israr Pasha Shaik, Walid Abdelmoez, Rajesh Gunnalan, Ali Mili, Christopher P. Fuhrman, Mark Shereshevsky, A. Zeid, Hany H. Ammar
Using Change Propagation Probabilities to Assess Quality Attributes of Software Architectures 1. AICCSA (2006)
Walid Abdelmoez, Mark Shereshevsky, Rajesh Gunnalan, Hany H. Ammar, Bo Yu, S. Bogazzi, Mustafa Korkmaz, Ali Mili
Quantifying software architectures: an analysis of change propagation probabilities. AICCSA (2005)
Israr Pasha Shaik, Walid Abdelmoez, Rajesh Gunnalan, Mark Shereshevsky, A. Zeid, Hany H. Ammar, Ali Mili, Christopher P. Fuhrman
Change Propagation for Assessing Design Quality of Software Architectures. WICSA (2005)
Ali Mili, Frederick T. Sheldon, Fatma Mili, Jules Desharnais
Recoverability preservation: a measure of last resort. Innov. Syst. Softw. Eng. 1 (1) (2005)
Vittorio Cortellessa, Diego Del Gobbo, Mark Shereshevsky, Jules Desharnais, Ali Mili
Relational characterizations of system fault tolerance. Sci. Comput. Program. 56 (3) (2005)
Yaofei Chen, Rose Dios, Ali Mili, Lan Wu, Kefei Wang
An Empirical Study of Programming Language Trends. IEEE Softw. 22 (3) (2005)
Ali Mili, Frederick T. Sheldon, Fatma Mili, Mark Shereshevsky, Jules Desharnais
Perspectives on Redundancy: Applications to Software Certification. HICSS (2005)

Ali Mili.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ali Mili