Login / Signup

Abstract Interpretation of Symbolic Execution with Explicit State Updates.

Richard BubelReiner HähnleBenjamin Weiß
Published in: FMCO (2008)
Keyphrases
  • symbolic execution
  • static analysis
  • abstract interpretation
  • state space
  • object oriented
  • general purpose
  • orders of magnitude