Sign in

Type-Dependence Analysis and Program Transformation for Symbolic Execution.

Saswat AnandAlessandro OrsoMary Jean Harrold
Published in: TACAS (2007)
Keyphrases
  • symbolic execution
  • static analysis
  • databases
  • real world
  • data sets
  • neural network
  • genetic algorithm
  • knowledge management
  • source code
  • quality assessment
  • data flow