Login / Signup

A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact).

Daniel SchemmelJulian BüningFrank BusseMartin NowackCristian Cadar
Published in: Dagstuhl Artifacts Ser. (2022)
Keyphrases
  • symbolic execution
  • test generation
  • static analysis
  • artificial intelligence
  • database
  • distributed systems