Test case generation for Java Bytecode programs annotated with BML specifications

Safaa Achour, Mohammed Benattou. Test case generation for Java Bytecode programs annotated with BML specifications. In 5th International Conference on Multimedia Computing and Systems, ICMCS 2016, Marrakech, Morocco, September 29 - October 1, 2016. pages 605-610, IEEE, 2016. [doi]

Authors

Safaa Achour

This author has not been identified. Look up 'Safaa Achour' in Google

Mohammed Benattou

This author has not been identified. Look up 'Mohammed Benattou' in Google