Conference
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 |
| ISBN: | 9781538628300 |
|---|---|
| DOI: | 10.1109/CSITechnol.2017.8312146 |