Login / Signup

Toward Tool-Independent Summaries for Symbolic Execution (Artifact).

Frederico RamosNuno SabinoPedro AdãoDavid A. NaumannJosé Fragoso Santos
Published in: Dagstuhl Artifacts Ser. (2023)
Keyphrases
  • symbolic execution
  • test generation
  • test data generation
  • static analysis
  • source code
  • genetic programming