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]
@inproceedings{AchourB16, title = {Test case generation for Java Bytecode programs annotated with BML specifications}, author = {Safaa Achour and Mohammed Benattou}, year = {2016}, doi = {10.1109/ICMCS.2016.7905597}, url = {https://doi.org/10.1109/ICMCS.2016.7905597}, researchr = {https://researchr.org/publication/AchourB16}, cites = {0}, citedby = {0}, pages = {605-610}, booktitle = {5th International Conference on Multimedia Computing and Systems, ICMCS 2016, Marrakech, Morocco, September 29 - October 1, 2016}, publisher = {IEEE}, isbn = {978-1-5090-5146-5}, }