Treffer: Constraint Based Testing and Verification of Java Bytecode Programs
Title:
Constraint Based Testing and Verification of Java Bytecode Programs
Authors:
Source:
2018 IEEE 5th International Congress on Information Science and Technology (CiSt) Information Science and Technology (CiSt), 2018 IEEE 5th International Congress on. :64-69 Oct, 2018
Relation:
2018 IEEE 5th International Congress on Information Science and Technology (CiSt)
Database:
IEEE Xplore Digital Library