JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution)
Ontology highlight
ABSTRACT: 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.
SUBMITTER: Biere A
PROVIDER: S-EPMC7480698 | biostudies-literature | 2020 Mar
REPOSITORIES: biostudies-literature
ACCESS DATA