Projects per year
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
CyberCorps Scholarship for Service (Renewal): Secure Computing Initiative
Oria, V., Mili, A., Borcea, C. & Curtmola, R.
8/1/21 → 7/31/26
Project: Research project
-
A Qatari Contribution to the Verified Software Initiative
Jaoua, A. A., Saleh, M. M., Mili, A., Marcelo, F. F. & Available, N.
4/1/12 → 9/1/15
Project: Research project
-
SGER/ SMA: Qualitative and Quantitative Models of Redundancy
7/15/06 → 6/30/07
Project: Research project
-
ITR: Architectural Level Software Metrics
Mili, A. & Ammar, H. H.
9/1/01 → 8/31/04
Project: Research project
-
ITR: Architectural Level Software Metrics
Mili, A. & Ammar, H. H.
9/1/00 → 12/31/01
Project: Research project
-
On the persistent rumors of the programmer’s imminent demise
Mohammadi, H., Ghardallou, W., Brick, E. & Mili, A., 2023, (Accepted/In press) In: Software and Systems Modeling.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
-
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
1 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