Sign in

Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information.

Josselin FeistLaurent MounierMarie-Laure Potet
Published in: SEFM (2016)
Keyphrases
  • data flow
  • data sets
  • control flow
  • database
  • search space
  • life cycle