Sign in

Dependence condition graph for semantics-based abstract program slicing.

Agostino CortesiRaju Halder
Published in: LDTA (2010)
Keyphrases
  • program slicing
  • source code
  • description languages
  • formal verification
  • fault localization
  • monitoring system
  • reverse engineering