Safaa Achour

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 4

Top Topics

Model Based Testing

Intermediate Representation

Garbage Collection

Top Venues

Publications

Safaa Achour, Mohammed Benattou
A Model Based Testing Approach for Java Bytecode Programs. J. Comput. 13 (9) (2018)
Safaa Achour, Mohammed Benattou
Constraint Based Testing and Verification of Java Bytecode Programs. CIST (2018)
Safaa Achour, Mohammed Benattou
Vulnerabilities Constraint Based Analysis Approach for Java Bytecode Programs. ICMCS (2018)
Safaa Achour, Mohammed Benattou
Test case generation for Java Bytecode programs annotated with BML specifications. ICMCS (2016)