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]
Abstract is missing.