Login / Signup

GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution).

Malte MuesFalk Howar
Published in: TACAS (2) (2022)
Keyphrases
  • symbolic execution
  • java virtual machine
  • test generation
  • database
  • signal processing
  • java programs
  • program execution
  • test data generation
  • relational databases
  • building blocks
  • integrity constraints
  • data flow