Sign in

The Semantics of Abstract Program Slicing.

Damiano Zanardini
Published in: SCAM (2008)
Keyphrases
  • program slicing
  • description languages
  • fault localization
  • formal verification
  • source code
  • reverse engineering
  • case study
  • software maintenance
  • information systems
  • expert systems