Login / Signup

Dynamic Symbolic Execution Guided by Data Dependency Analysis for High Structural Coverage.

TheAnh DoAlvis Cheuk M. FongRussel Pears
Published in: ENASE (Selected Papers) (2012)
Keyphrases
  • data sets
  • training data
  • data analysis
  • database
  • data sources
  • knowledge discovery
  • dependency analysis
  • genetic algorithm
  • data quality
  • high level
  • search algorithm