![Theoretical computer science / Software testing / Software engineering / Computing / Constraint programming / Automated theorem proving / Concolic testing / Symbolic execution / Satisfiability modulo theories / Java Pathfinder / Solver / KeY Theoretical computer science / Software testing / Software engineering / Computing / Constraint programming / Automated theorem proving / Concolic testing / Symbolic execution / Satisfiability modulo theories / Java Pathfinder / Solver / KeY](https://www.pdfsearch.io/img/5317427cfb22395f20d60a187f57f519.jpg) Date: 2018-09-30 08:43:02Theoretical 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 1Add to Reading ListSource URL: www.falkhowar.deDownload Document from Source Website File Size: 809,20 KBShare Document on Facebook
|