Safaa Achour, Mohammed Benattou. Constraint Based Testing and Verification of Java Bytecode Programs. In Mohammed El Mohajir, Mohammed Al Achhab, Badr Eddine El Mohajir, Ismail Jellouli, editors, 5th IEEE International Congress on Information Science and Technology, CiSt 2018, Marrakech, Morocco, October 21-27, 2018. pages 64-69, IEEE, 2018. [doi]
Abstract is missing.