Sign in

A Deterministic Memory Allocator for Dynamic Symbolic Execution.

Daniel SchemmelJulian BüningFrank BusseMartin NowackCristian Cadar
Published in: ECOOP (2022)
Keyphrases
  • symbolic execution
  • test data generation
  • neural network
  • data sets
  • databases
  • case study
  • orders of magnitude
  • static analysis
  • test generation