No photo of Ali Mili

View Scopus Profile

Ali Mili

Former affiliation
Calculated based on number of publications stored in Pure and citations from Scopus
1981 …2025

Research activity per year

Search results

  • 2025

    Subsumption, correctness and relative correctness: Implications for software testing

    AlBlwi, S., Marsit, I., Khaireddine, B., Ayad, A., Loh, J. M. & Mili, A., Jan 2025, In: Science of Computer Programming. 239, 103177.

    Research output: Contribution to journal › Article › peer-review

  • 2024

    Invariant relations for affine loops

    Ghardallou, W., Mohammadi, H., Linger, R. C., Pleszkoch, M., Loh, J. M. & Mili, A., Sep 2024, In: Acta Informatica. 61, 3, p. 261-314 54 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Mutation Coverage is not Strongly Correlated with Mutation Coverage

    Alblwi, S., Ayad, A. & Mili, A., Apr 15 2024, Proceedings - 2024 IEEE/ACM International Conference on Automation of Software Test, AST 2024. Association for Computing Machinery, Inc, p. 1-11 11 p. (Proceedings - 2024 IEEE/ACM International Conference on Automation of Software Test, AST 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    1 Scopus citations
  • 2023

    Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis

    Mohammadi, H., Ghardallou, W., Brick, E. & Mili, A., 2023, Proceedings - 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2023. Institute of Electrical and Electronics Engineers Inc., p. 845-846 2 p. (Proceedings - 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2023).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • On the persistent rumors of the programmer’s imminent demise

    Mohammadi, H., Ghardallou, W., Brick, E. & Mili, A., Dec 2023, In: Software and Systems Modeling. 22, 6, p. 1969-1976 8 p.

    Research output: Contribution to journal › Article › peer-review

  • Three Forms of Mutant Subsumption: Basic, Strict and Broad

    AlBlwi, S., Marsit, I., Khaireddine, B., Ayad, A., Loh, J. M. & Mili, A., 2023, Software Technologies - 17th International Conference, ICSOFT 2022, Revised Selected Papers. Fill, H.-G., van Sinderen, M., Maciaszek, L. A. & Maciaszek, L. A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 122-144 23 p. (Communications in Computer and Information Science; vol. 1859 CCIS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Toward a theory of program repair

    Khaireddine, B., Zakharchenko, A., Martinez, M. & Mili, A., Sep 2023, In: Acta Informatica. 60, 3, p. 209-255 47 p.

    Research output: Contribution to journal › Article › peer-review

    1 Scopus citations
  • 2022

    Computing Program Functions

    Mohammadi, H., Ghardallou, W., Linger, R. C. & Mili, A., 2022, Proceedings - IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, FormaliSE 2022. Institute of Electrical and Electronics Engineers Inc., p. 102-112 11 p. (Proceedings - IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, FormaliSE 2022).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • Quantifying the Effectiveness of Mutant Sets

    Alblwi, S., Ayad, A., Khaireddine, B., Marsit, I. & Mili, A., 2022, Proceedings - 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security Companion, QRS-C 2022. Institute of Electrical and Electronics Engineers Inc., p. 288-297 10 p. (Proceedings - 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security Companion, QRS-C 2022).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2021

    A massively parallel approach to automated software correctness enhancement in java

    Zakharchenko, A., Khaireddine, B. & Mili, A., Sep 8 2021, New Trends in Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques, SoMeT 2021. Fujita, H. & Perez-Meana, H. (eds.). IOS Press BV, p. 141-154 14 p. (Frontiers in Artificial Intelligence and Applications; vol. 337).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Assume, Capture, Verify, Establish: Ingredients for Scalable Software Analysis

    Mohammadi, H., Ghardallou, W. & Mili, A., 2021, Proceedings - 2021 21st International Conference on Software Quality, Reliability and Security Companion, QRS-C 2021. Institute of Electrical and Electronics Engineers Inc., p. 415-424 10 p. (Proceedings - 2021 21st International Conference on Software Quality, Reliability and Security Companion, QRS-C 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • Differentiators and detectors

    Mili, A., Aug 2021, In: Information Processing Letters. 169, 106111.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    3 Scopus citations

  • Mutation Subsumption as Relative Incorrectness

    Khaireddine, B., Ayad, A., Marsit, I. & Mili, A., 2021, Quality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Proceedings. Paiva, A. C. R., Cavalli, A. R., Ventura Martins, P. & Pérez-Castillo, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 18-28 11 p. (Communications in Computer and Information Science; vol. 1439 CCIS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Quantifying Faultiness: What Does It Mean to Have N Faults?

    Khaireddine, B. & Mili, A., May 2021, Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021. Institute of Electrical and Electronics Engineers Inc., p. 68-74 7 p. (Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • The bane of generate-And-validate program repair: Too much generation, too little validation

    Khaireddine, B., Zakharchenko, A. & Mili, A., Sep 8 2021, New Trends in Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques, SoMeT 2021. Fujita, H. & Perez-Meana, H. (eds.). IOS Press BV, p. 113-126 14 p. (Frontiers in Artificial Intelligence and Applications; vol. 337).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • The ratio of equivalent mutants: A key to analyzing mutation equivalence

    Marsit, I., Ayad, A., Kim, D., Latif, M., Loh, J. M., Omri, M. N. & Mili, A., Nov 2021, In: Journal of Systems and Software. 181, 111039.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    3 Scopus citations
  • 2020

    A Semantic Definition of Faults and Its Implications

    Khaireddine, B., Zakharchenko, A. & Mili, A., Dec 2020, Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020. Institute of Electrical and Electronics Engineers Inc., p. 14-21 8 p. 9282775. (Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Automated Estimation of the Rate of Equivalent Mutants

    Ayad, A. & Mili, A., Dec 2020, Proceedings - 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020. Institute of Electrical and Electronics Engineers Inc., p. 1794-1799 6 p. 9458144. (Proceedings - 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Correctness enhancement: A pervasive software engineering paradigm

    Khaireddine, B., AbdelAli, M. B., Jilani, L. L., Zakharchenko, A. & Mili, A., 2020, In: International Journal of Critical Computer-Based Systems. 10, 1, p. 37-73 37 p.

    Research output: Contribution to journal › Article › peer-review

  • Quantitative analysis of mutant equivalence

    Ayad, A., Marsit, I., Tawfig, S., Loh, J. M., Omri, M. N. & Mili, A., 2020, Software Technologies - 14th International Conference, ICSOFT 2019, Revised Selected Papers. van Sinderen, M., Maciaszek, L. A. & Maciaszek, L. A. (eds.). Springer, p. 58-80 23 p. (Communications in Computer and Information Science; vol. 1250 CCIS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations
  • 2019

    Estimating the number of equivalent mutants

    Ayad, A., Marsit, I., Loh, J., Omri, M. N. & Mili, A., Apr 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. Institute of Electrical and Electronics Engineers Inc., p. 112-121 10 p. 8728901. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations

  • Fault Density, Fault Depth and Fault Multiplicity: The Reward of Discernment

    Khaireddine, B., Zakharchenko, A. & Mili, A., Jul 2019, Proceedings - Companion of the 19th IEEE International Conference on Software Quality, Reliability and Security, QRS-C 2019. Institute of Electrical and Electronics Engineers Inc., p. 532-533 2 p. 8859479. (Proceedings - Companion of the 19th IEEE International Conference on Software Quality, Reliability and Security, QRS-C 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Impact of mutation operators on mutant equivalence

    Marsit, I., Omri, M. N., Loh, J. M. & Mili, A., Jan 1 2019, ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies. Maciaszek, L., Maciaszek, L. & van Sinderen, M. (eds.). SciTePress, p. 21-32 12 p. (ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • Program repair at arbitrary fault depth

    Khaireddine, B., Martinez, M. & Mili, A., Apr 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019. Institute of Electrical and Electronics Engineers Inc., p. 465-472 8 p. 8730184. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    9 Scopus citations

  • Quantitative metrics for mutation testing

    Ayad, A., Marsit, I., Loh, J., Omri, M. N. & Mili, A., Jan 1 2019, ICSOFT 2019 - Proceedings of the 14th International Conference on Software Technologies. van Sinderen, M., Maciaszek, L. & Maciaszek, L. (eds.). SciTePress, p. 49-59 11 p. (ICSOFT 2019 - Proceedings of the 14th International Conference on Software Technologies).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Using Semantic Metrics to Predict Mutation Equivalence

    Ayad, A., Marsit, I., Mohamed Omri, N., Loh, J. M. & Mili, A., 2019, Software Technologies - 13th International Conference, ICSOFT 2018, Revised Selected Papers. Maciaszek, L. A., Maciaszek, L. A. & van Sinderen, M. (eds.). Springer Verlag, p. 3-27 25 p. (Communications in Computer and Information Science; vol. 1077).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations
  • 2018

    Convergence: Integrating termination and abort-freedom

    Diallo, N., Ghardallou, W., Desharnais, J. & Mili, A., Jun 2018, In: Journal of Logical and Algebraic Methods in Programming. 97, p. 1-29 29 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    3 Scopus citations

  • Impact of mutation operators on the ratio of equivalent mutants

    Marsit, I., Omri, M. N., Loh, J. M. & Mili, A., 2018, New Trends in Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 17th International Conference, SoMeT 2018. Fujita, H. & Herrera-Viedma, E. (eds.). IOS Press BV, p. 664-677 14 p. (Frontiers in Artificial Intelligence and Applications; vol. 303).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Programming without refinement

    Benabdelali, M., Jilani, L. L., Ghardallou, W. & Mili, A., Oct 24 2018, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 282, p. 39-52 14 p.

    Research output: Contribution to journal › Conference article › peer-review

    Open Access
    1 Scopus citations
  • 2017

    A generic algorithm for program repair

    Khaireddine, B., Zakharchenko, A. & Mili, A., Jul 3 2017, Proceedings - 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering, FormaliSE 2017. Institute of Electrical and Electronics Engineers Inc., p. 65-71 7 p. 7967995. (Proceedings - 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering, FormaliSE 2017).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    7 Scopus citations

  • Estimating the survival rate of mutants

    Marsit, I., Omri, M. N. & Mili, A., 2017, ICSOFT 2017 - Proceedings of the 12th International Conference on Software Technologies. Cardoso, J., Cardoso, J., Maciaszek, L., Maciaszek, L., van Sinderen, M. & Cabello, E. (eds.). SciTePress, p. 208-213 6 p. (ICSOFT 2017 - Proceedings of the 12th International Conference on Software Technologies).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    3 Scopus citations

  • Preface

    Barkaoui, K., Boucheneb, H., Mili, A. & Tahar, S., 2017, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10466 LNCS, p. V

    Research output: Contribution to journal › Editorial › peer-review

  • Projecting programs on specifications: Definition and implications

    Desharnais, J., Diallo, N., Ghardallou, W. & Mili, A., May 1 2017, In: Science of Computer Programming. 138, p. 26-48 23 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    3 Scopus citations

  • Verification and evaluation of computer and communication systems: 11th international conference, VECoS 2017 Montreal, QC, Canada, august 24-25, 2017 proceedings

    Barkaoui, K., Boucheneb, H., Mili, A. & Tahar, S., 2017, Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Proceedings. Barkaoui, K., Boucheneb, H., Mili, A. & Tahar, S. (eds.). Springer Verlag, p. III-IV (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10466 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • What is a fault? and why does it matter?

    Diallo, N., Ghardallou, W., Desharnais, J., Frias, M., Jaoua, A. & Mili, A., Sep 1 2017, In: Innovations in Systems and Software Engineering. 13, 2-3, p. 219-239 21 p.

    Research output: Contribution to journal › Article › peer-review

    5 Scopus citations
  • 2016

    Debugging without Testing

    Ghardallou, W., Diallo, N., Mili, A. & Frias, M. F., Jul 18 2016, Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016. Institute of Electrical and Electronics Engineers Inc., p. 113-123 11 p. 7515464. (Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    10 Scopus citations

  • Program derivation by correctness enhancements

    Diallo, N., Ghardallou, W., Desharnais, J. & Mili, A., Jun 4 2016, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 209, p. 57-70 14 p.

    Research output: Contribution to journal › Conference article › peer-review

    Open Access
    1 Scopus citations

  • Program repair by stepwise correctness enhancement

    Diallo, N., Ghardallou, W. & Mili, A., May 25 2016, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 208, p. 1-15 15 p.

    Research output: Contribution to journal › Conference article › peer-review

    Open Access
    1 Scopus citations

  • Relative correctness: A bridge between testing and proving

    Diallo, N., Ghardallou, W. & Mili, A., 2016, In: CEUR Workshop Proceedings. 1689, p. 141-156 16 p.

    Research output: Contribution to journal › Conference article › peer-review

    2 Scopus citations

  • Software evolution by correctness enhancement

    Ghardallou, W., Diallo, N. & Mili, A., 2016, Proceedings - SEKE 2016: 28th International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School, p. 605-610 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; vol. 2016-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    1 Scopus citations
  • 2015

    Computing attributes of software architectures: A static method and its validation

    Derbel, I., Jilani, L. L. & Mili, A., 2015, ENASE 2015 - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering. Filipe, J., Filipe, J., Maciaszek, L. & Maciaszek, L. (eds.). SciTePress, p. 55-66 12 p. (ENASE 2015 - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Correctness and Relative Correctness

    Diallo, N., Ghardallou, W. & Mili, A., Aug 12 2015, Proceedings - 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, ICSE 2015. IEEE Computer Society, p. 591-594 4 p. 7203020. (Proceedings - International Conference on Software Engineering; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    11 Scopus citations

  • Loop analysis and repair

    Diallo, N. & Mili, A., 2015, In: CEUR Workshop Proceedings. 1454, p. 23-32 10 p.

    Research output: Contribution to journal › Conference article › peer-review

  • Programming language use in US academia and industry

    Ben Arfa Rabai, L., Cohen, B. & Mili, A., 2015, In: Informatics in Education. 14, 2, p. 143-160 18 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    17 Scopus citations

  • Putting engineering into software engineering: Upholding software engineering principles in the classroom

    Tchier, F., Rabai, L. B. A. & Mili, A., Jul 2015, In: Computers in Human Behavior. 48, p. 245-254 10 p.

    Research output: Contribution to journal › Article › peer-review

    2 Scopus citations

  • Relational mathematics for relative correctness

    Desharnais, J., Diallo, N., Ghardallou, W., Frias, M. F., Jaoua, A. & Mili, A., 2015, Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Proceedings. Kahl, W., Winter, M. & Oliveira, J. N. (eds.). Springer Verlag, p. 191-208 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9348).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    13 Scopus citations

  • The MFC cybersecurity model extension and diagnostic toward a depth measurement: E-learning systems case study

    Rjaibi, N., Rabai, L. B. A. & Mili, A., Aug 7 2015, Achieving Enterprise Agility through Innovative Software Development. IGI Global, p. 179-198 20 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 2014

    Automated quantitative attributes prediction from architectural description language

    Derbel, I., Jilani, L. L. & Mili, A., 2014, ICSOFT-PT 2014 - Proceedings of the 9th International Conference on Software Paradigm Trends. Holzinger, A., Cardoso, J., Cardoso, J., Cordeiro, J., Cordeiro, J., van Sinderen, M. & Mellor, S. (eds.). SciTePress, p. 87-94 8 p. (ICSOFT-PT 2014 - Proceedings of the 9th International Conference on Software Paradigm Trends).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    1 Scopus citations

  • On faults and faulty programs

    Mili, A., Frias, M. F. & Jaoua, A., 2014, Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Proceedings. Springer Verlag, p. 191-207 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8428 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    20 Scopus citations

  • Parallel bounded verification of alloy models by tranScoping

    Rosner, N., Pombo, C. G. L., Aguirre, N., Jaoua, A., Mili, A. & Frias, M. F., 2014, Verified Software: Theories, Tools, Experiments - 5th International Conference, VSTTE 2013, Revised Selected Papers. Cohen, E., Rybalchenko, A. & Rybalchenko, A. (eds.). Springer Verlag, p. 88-107 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8164).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Scopus citations