Login / Signup
JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution).
Malte Mues
Falk Howar
Published in:
TACAS (2) (2020)
Keyphrases
</>
symbolic execution
test generation
static analysis
database
software engineering
artificial intelligence
general purpose
source code