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. (PI), Mili, A. (CoPI), Borcea, C. (CoPI) & Curtmola, R. (CoPI)
8/1/21 → 7/31/26
New Jersey Institute of Technology
Project: Research project
-
A Qatari Contribution to the Verified Software Initiative
Jaoua, A. A. (PI), Saleh, M. M. (CoPI), Mili, A. (CoPI) & Frias, M. F. (CoPI)
4/1/12 → 9/1/15
New Jersey Institute of Technology
Project: Research
-
SGER/ SMA: Qualitative and Quantitative Models of Redundancy
Mili, A. (PI)
7/15/06 → 6/30/07
New Jersey Institute of Technology
Project: Research project
-
ITR: Architectural Level Software Metrics
Mili, A. (PI) & Ammar, H. H. (CoPI)
9/1/01 → 8/31/04
New Jersey Institute of Technology
Project: Research project
-
ITR: Architectural Level Software Metrics
Mili, A. (PI) & Ammar, H. H. (CoPI)
9/1/00 → 12/31/01
New Jersey Institute of Technology
Project: Research project
-
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.New Jersey Institute of Technology, Kean
Research output: Contribution to journal › Article › peer-review
-
Detecting Faults vs. Revealing Failures: Exploring the Missing Link
Ayad, A., Alblwi, S. & Mili, A., 2024, Proceedings - 2024 IEEE 24th International Conference on Software Quality, Reliability and Security, QRS 2024. Institute of Electrical and Electronics Engineers Inc., p. 115-126 12 p. (IEEE International Conference on Software Quality, Reliability and Security, QRS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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.New Jersey Institute of Technology
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).Kean, New Jersey Institute of Technology
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
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).New Jersey Institute of Technology
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution