Login / Signup
Ali Mili
ORCID
Publication Activity (10 Years)
Years Active: 2023-2025
Publications (10 Years): 4
Top Topics
Affine Invariance
Website
Strongly Correlated
Crossover Operator
Top Venues
AST@ICSE
Sci. Comput. Program.
Acta Informatica
QRS Companion
</>
Publications
</>
Samia Al Blwi
,
Imen Marsit
,
Besma Khaireddine
,
Amani Ayad
,
Ji Meng Loh
,
Ali Mili
Subsumption, correctness and relative correctness: Implications for software testing.
Sci. Comput. Program.
239 (2025)
Samia Al Blwi
,
Amani Ayad
,
Ali Mili
Mutation Coverage is not Strongly Correlated with Mutation Coverage.
AST@ICSE
(2024)
Wided Ghardallou
,
Hessamaldin Mohammadi
,
Richard C. Linger
,
Mark G. Pleszkoch
,
Ji Meng Loh
,
Ali Mili
Invariant relations for affine loops.
Acta Informatica
61 (3) (2024)
Hessamaldin Mohammadi
,
Wided Ghardallou
,
Elijah Brick
,
Ali Mili
Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis.
QRS Companion
(2023)