Login / Signup

Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution).

Herbert RochaRafael MenezesLucas C. CordeiroRaimundo S. Barreto
Published in: TACAS (2) (2020)
Keyphrases
  • symbolic execution
  • test generation
  • test data generation
  • static analysis
  • source code
  • specification language
  • data flow
  • database
  • databases
  • artificial intelligence
  • case study
  • general purpose