Test case generation for Java Bytecode programs annotated with BML specifications. - Safaa Achour; Mohammed Benattou (ICMCS, 2016)

Constraint Based Testing and Verification of Java Bytecode Programs. - Safaa Achour; Mohammed Benattou (CIST, 2018)

Vulnerabilities Constraint Based Analysis Approach for Java Bytecode Programs. - Safaa Achour; Mohammed Benattou (ICMCS, 2018)

A Model Based Testing Approach for Java Bytecode Programs. - Safaa Achour; Mohammed Benattou (J. Comput., 2018)