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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.