Login / Signup

Memory models in symbolic execution: key ideas and new thoughts.

Luca BorzacchielloEmilio CoppaDaniele Cono D'EliaCamil Demetrescu
Published in: Softw. Test. Verification Reliab. (2019)
Keyphrases
  • symbolic execution
  • database
  • databases
  • neural network
  • artificial intelligence
  • training data