Sign in

DySy: dynamic symbolic execution for invariant inference.

Christoph CsallnerNikolai TillmannYannis Smaragdakis
Published in: ICSE (2008)
Keyphrases
  • symbolic execution
  • test generation
  • test data generation
  • neural network
  • artificial intelligence
  • search algorithm
  • machine vision
  • data flow
  • static analysis
  • specification language