Back to Results
First PageMeta Content
Theoretical computer science / Software testing / Software engineering / Computing / Constraint programming / Automated theorem proving / Concolic testing / Symbolic execution / Satisfiability modulo theories / Java Pathfinder / Solver / KeY


JDart: A Dynamic Symbolic Analysis Framework? Kasper Luckow1 , Marko Dimjašević2 , Dimitra Giannakopoulou3 , Falk Howar4 , Malte Isberner5 , Temesghen Kahsai1,3 , Zvonimir Rakamarić2 , and Vishwanath Raman6 1
Add to Reading List

Document Date: 2018-09-30 08:43:02

Open Document

File Size: 809,20 KB

Share Result on Facebook