Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution)

: Mues, M.; Howar, F.

Volltext ()

Biere, A.:
Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020. Proceedings. Pt.II : Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020
Cham: Springer, 2020 (Lecture Notes in Computer Science 12079)
ISBN: 978-3-030-45236-0
ISBN: 978-3-030-45237-7
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) <26, 2020, Online>
Konferenzbeitrag, Elektronische Publikation
Fraunhofer ISST ()

JDart performs dynamic symbolic execution of Java programs: it executes programs with concrete inputs while recording symbolic constraints on executed program paths. A constraint solver is then used for generating new concrete values from recorded constraints that drive execution along previously unexplored paths. JDart is built on top of the Java PathFinder software model checker and uses the JConstraints library for the integration of constraint solvers.