JDart: A Dynamic Symbolic Analysis Framework.
Uloženo v:
| Název: | JDart: A Dynamic Symbolic Analysis Framework. |
|---|---|
| Autoři: | Luckow, Kasper, Dimjašević, Marko, Giannakopoulou, Dimitra, Howar, Falk, Isberner, Malte, Kahsai, Temesghen, Rakamarić, Zvonimir, Raman, Vishwanath |
| Zdroj: | Tools & Algorithms for the Construction & Analysis of Systems (9783662496732); 2016, p442-459, 18p |
| Databáze: | Complementary Index |
| ISBN: | 9783662496732 |
|---|---|
| DOI: | 10.1007/978-3-662-49674-9_26 |