Sign in

Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution.

Xin LiDaryl ShannonIndradeep GhoshMizuhito OgawaSreeranga P. RajanSarfraz Khurshid
Published in: APLAS (2008)
Keyphrases
  • context sensitive
  • static analysis
  • symbolic execution
  • machine learning
  • multiple task learning
  • training data
  • bayesian networks
  • general purpose
  • test data generation