| 2024 | AST | Mutation Coverage is not Strongly Correlated with Mutation Coverage. | Samia Al Blwi, Amani Ayad, Ali Mili |
| 2024 | NSPW | "Function Extraction: A New Paradigm for Producing Secure Code". | Richard C. Linger, Mark G. Pleszkoch, Jack McGaughey, John McHugh, Wided Ghardallou, Ali Mili |
| 2024 | QRS | Detecting Faults vs. Revealing Failures: Exploring the Missing Link. | Amani Ayad, Samia Al Blwi, Ali Mili |
| 2023 | ICSoft | Semantic Coverage: Measuring Test Suite Effectiveness. | Samia Al Blwi, Amani Ayad, Besma Khaireddine, Imen Marsit, Ali Mili |
| 2023 | QRS | Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis. | Hessamaldin Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili |
| 2022 | ICSoft | Generalized Mutant Subsumption. | Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili |
| 2022 | ICSoft | Three Forms of Mutant Subsumption: Basic, Strict and Broad. | Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili |
| 2022 | QRS | Quantifying the Effectiveness of Mutant Sets. | Samia Al Blwi, Amani Ayad, Besma Khaireddine, Imen Marsit, Ali Mili |
| 2021 | ICSE | Quantifying Faultiness: What Does It Mean to Have N Faults? | Besma Khaireddine, Ali Mili |
| 2021 | QRS | Assume, Capture, Verify, Establish: Ingredients for Scalable Software Analysis. | Hessamaldin Mohammadi, Wided Ghardallou, Ali Mili |
| 2021 | QUATIC | Mutation Subsumption as Relative Incorrectness. | Besma Khaireddine, Amani Ayad, Imen Marsit, Ali Mili |
| 2021 | SoMeT | The Bane of Generate-and-Validate Program Repair: Too Much Generation, Too Little Validation. | Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili |
| 2020 | QRS | A Semantic Definition of Faults and Its Implications. | Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili |
| 2019 | ICSoft | Quantitative Metrics for Mutation Testing. | Amani Ayad, Imen Marsit, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili |
| 2019 | ICSoft | Quantitative Analysis of Mutant Equivalence. | Amani Ayad, Imen Marsit, Sara Tawfig, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili |
| 2019 | ICST | Estimating the Number of Equivalent Mutants. | Amani Ayad, Imen Marsit, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili |
| 2019 | ICST | Program Repair at Arbitrary Fault Depth. | Besma Khaireddine, Matias Martinez, Ali Mili |
| 2019 | QRS | Fault Density, Fault Depth and Fault Multiplicity: The Reward of Discernment. | Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili |
| 2018 | ICSoft | Using Semantic Metrics to Predict Mutation Equivalence. | Amani Ayad, Imen Marsit, Mohamed Nazih Omri, Ji Meng Loh, Ali Mili |
| 2018 | ICSoft | Impact of Mutation Operators on Mutant Equivalence. | Imen Marsit, Mohamed Nazih Omri, Ji Meng Loh, Ali Mili |
| 2018 | SoMeT | Impact of Mutation Operators on the Ratio of Equivalent Mutants. | Imen Marsit, Mohamed Nazih Omri, Ji Meng Loh, Ali Mili |
| 2017 | ICSE | A Generic Algorithm for Program Repair. | Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili |
| 2017 | ICSoft | Estimating the Survival Rate of Mutants. | Imen Marsit, Mohamed Nazih Omri, Ali Mili |
| 2016 | ICST | Debugging without Testing. | Wided Ghardallou, Nafi Diallo, Ali Mili, Marcelo F. Frias |
| 2016 | SEKE | Software Evolution by Correctness Enhancement. | Wided Ghardallou, Nafi Diallo, Ali Mili |
| 2016 | VECoS | Relative Correctness: A Bridge Between Proving and Testing. | Wided Ghardallou, Ali Mili, Nafi Diallo |
| 2015 | ENASE | Computing Attributes of Software Architectures - A Static Method and Its Validation. | Imen Derbel, Lamia Labed Jilani, Ali Mili |
| 2015 | ICSE | Correctness and Relative Correctness. | Nafi Diallo, Wided Ghardallou, Ali Mili |
| 2014 | ICSoft | Automated Quantitative Attributes Prediction from Architectural Description Language. | Imen Derbel, Lamia Labed Jilani, Ali Mili |
| 2013 | ENASE | Architecture Level Prediction of Software Quality Attributes. | Imen Derbel, Lamia Labed Jilani, Ali Mili |
| 2013 | ENASE | ACME+: An ADL for Quantitative Analysis of Quality Attributes. | Imen Derbel, Lamia Labed Jilani, Ali Mili |
| 2013 | ICSoft | ACME+ for Software Architecture Analysis. | Imen Derbel, Lamia Labed Jilani, Ali Mili |
| 2011 | ICTAC | Computing Preconditions and Postconditions of While Loops. | Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaes, Ali Mili |
| 2010 | AICCSA | A model for analyzing architectural attributes. | Imen Derbel, Lamia Labed Jilani, Ali Mili |
| 2010 | AICCSA | Towards an automated tool for computing loop functions. | Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Ali Mili |
| 2010 | CADE | A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions. | Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Ali Mili |
| 2010 | ICSE | Using invariant functions and invariant relations to compute loop functions. | Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Ali Mili |
| 2009 | ICSoft | Modeling the Evolution of Software Engineering Trends - A Bottom Up Approach. | Latifa Ben Arfa Rabai, Yanzhi Bai, Ali Mili |
| 2008 | SEKE | An Algorithm for Computing Loop Functions. | Ali Mili, Shir Aharon, Chaitanya Nadkarni |
| 2007 | ICSoft | A Product Line of Software Reuse Cost Models. | Mustafa Korkmaz, Ali Mili |
| 2007 | SEW | A Refinement Based Framework for Computing Loop Behavior. | Ali Mili |
| 2006 | AICCSA | Modeling Redundancy: Quantitative and Qualitative Models. | Ali Mili, Lan Wu, Frederick T. Sheldon, Mark Shereshevsky, Jules Desharnais |
| 2006 | AICCSA | Using Change Propagation Probabilities to Assess Quality Attributes of Software Architectures 1. | Israr Pasha Shaik, Walid Abdelmoez, Rajesh Gunnalan, Ali Mili, Christopher P. Fuhrman, Mark Shereshevsky, A. Zeid, Hany H. Ammar |
| 2005 | AICCSA | Quantifying software architectures: an analysis of change propagation probabilities. | Walid Abdelmoez, Mark Shereshevsky, Rajesh Gunnalan, Hany H. Ammar, Bo Yu, S. Bogazzi, Mustafa Korkmaz, Ali Mili |
| 2001 | COMPSAC | Information Theoretic Metrics for Software Architectures. | Mark Shereshevsky, Habib Ammari, Nicholay Gradetsky, Ali Mili, Hany H. Ammar |
| 2001 | ICSE | Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do? | H. Dieter Rombach, Manfred Broy, Michael Evangelist, Ali Mili, Leon J. Osterweil, David Lorge Parnas |
| 2001 | RE | Re-Engineering Fault Tolerance Requirements: A Case Study in Specifying Fault Tolerant Flight Control Systems. | Diego Del Gobbo, Ali Mili |
| 2000 | ICSE | An integrated cost model for software reuse. | Ali Mili, Senta Fowler Chmiel, Ravi Gottumukkala, Lisa Zhang |
| 2000 | ICSE | Tracking, predicting and assessing software reuse costs: an automated tool. | Ali Mili, Senta Fowler Chmiel, Ravi Gottumukkala, Lisa Zhang |
| 2000 | ICSR | Constructional Design Patterns as Reusable Components. | Sherif M. Yacoub, Hany H. Ammar, Ali Mili |
| 2000 | SPLC | A hierarchy of COTS certification criteria. | Sherif M. Yacoub, Ali Mili, Chakri Kaveri, Mark Dehlin |
| 1999 | ICSE | Science and Engineering for Software Development: A Recognition of Harlan D. Mills' Legacy. | Victor R. Basili, Tom DeMarco, Ali Mili |
| 1998 | LOPSTR | Mathematical Foundations for Program Transformations. | Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili |
| 1995 | MPC | Program Construction by Parts. | Marc Frappier, Ali Mili, Jules Desharnais |
| 1994 | ICSE | Storing and Retrieving Software Components: A Refinement Based System. | Ali Mili, Rym Mili, Roland T. Mittermeir |
| 1994 | SIGCSE | Teaching a first course on data structures: a software engineering approach. | Rym Mili, Ali Mili |
| 1994 | SEKE | A process for verification based inspections. | Latifa Ben Arfa Rabai, Marc Frappier, Rym Mili, Ali Mili, Douglas R. Skuce |
| 1990 | DEXA | A Database of Software Components: An Algebraic Structure and Its Implementation. | Noureddine Boudriga, Ali Mili |
| 1984 | ICSE | A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods. | Ali Mili, Jules Desharnais |
| 1984 | SIGCSE | Some thoughts on teaching first year programming. | Marcel Dupras, Fernand LeMay, Ali Mili |
| 1983 | SIGCSE | A case for teaching program verification: Its importance in the CS curriculum. | Ali Mili |
| 1982 | ICSE | A Closer Look at Iteration: The Self Stabilizing Capability of Loops. | Ali Mili |