Dynamic symbolic execution of Java programs using JNI

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Dynamic symbolic execution of Java programs using JNI
Συγγραφείς: Vartanov, Sergey
Πηγή: 2017 Computer Science and Information Technologies (CSIT) Computer Science and Information Technologies (CSIT), 2017. :83-86 Sep, 2017
Relation: 2017 Computer Science and Information Technologies (CSIT)
Βάση Δεδομένων: IEEE Xplore Digital Library