Sign in

Symbolic Execution with Invariant Inlay: Evaluating the Potential.

Eman AlatawiTim MillerHarald Søndergaard
Published in: ASWEC (2018)
Keyphrases
  • symbolic execution
  • test generation
  • static analysis
  • data sets
  • neural network
  • artificial intelligence
  • database systems
  • specification language
  • data flow