Login / Signup

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

Malte MuesFalk Howar
Published in: TACAS (2) (2020)
Keyphrases
  • symbolic execution
  • test generation
  • static analysis
  • database
  • software engineering
  • artificial intelligence
  • general purpose
  • source code