Login / Signup

Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives.

Dominic Steinhöfel
Published in: The Logic of Software. A Tasting Menu of Formal Methods (2022)
Keyphrases
  • symbolic execution
  • test data generation
  • static analysis
  • test generation
  • specification language
  • artificial intelligence
  • database
  • data sets
  • databases
  • real world
  • source code
  • high level
  • database systems
  • data flow