Safaa Achour

According to our database, Safaa Achour authored at least 4 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

A Model Based Testing Approach for Java Bytecode Programs.

Safaa Achour, Mohammed Benattou

J. Comput., 2018

Vulnerabilities Constraint Based Analysis Approach for Java Bytecode Programs.

Safaa Achour, Mohammed Benattou

Proceedings of the 6th International Conference on Multimedia Computing and Systems, 2018

Constraint Based Testing and Verification of Java Bytecode Programs.

Safaa Achour, Mohammed Benattou

Proceedings of the 5th IEEE International Congress on Information Science and Technology, 2018

2016

Test case generation for Java Bytecode programs annotated with BML specifications.

Safaa Achour, Mohammed Benattou

Proceedings of the 5th International Conference on Multimedia Computing and Systems, 2016