Login / Signup

Trace Partitioning in Abstract Interpretation Based Static Analyzers.

Laurent MauborgneXavier Rival
Published in: ESOP (2005)
Keyphrases
  • abstract interpretation
  • dynamic analysis
  • termination analysis
  • static analysis
  • active rules
  • reverse engineering
  • model checking
  • active databases
  • reasoning engine
  • software engineering
  • database
  • information systems