Conference
Constraint Based Testing and Verification of Java Bytecode Programs
| Τίτλος: | Constraint Based Testing and Verification of Java Bytecode Programs |
|---|---|
| Συγγραφείς: | Achour, Safaa, Benattou, Mohammzed |
| Πηγή: | 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) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 9781538643853 |
|---|---|
| ISSN: | 23271884 |
| DOI: | 10.1109/CIST.2018.8596397 |