Research output per year
Research output per year
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
-
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
-
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
-
Differentiators and detectors
Mili, A., Aug 2021, In: Information Processing Letters. 169, 106111.Research output: Contribution to journal › Article › peer-review
Open Access1 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