• Source: Scopus
  • Calculated based on number of publications stored in Pure and citations from Scopus
1981 …2021

Research activity per year

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where Ali Mili is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • 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 proceedingConference contribution

  • Differentiators and detectors

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

    Research output: Contribution to journalArticlepeer-review

    Open Access
    1 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 proceedingConference 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 proceedingConference contribution

    1 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 proceedingConference contribution