Login / Signup

A formalisation of the relationship between forms of program slicing.

David W. BinkleySebastian DanicicTibor GyimóthyMark HarmanÁkos KissBogdan Korel
Published in: Sci. Comput. Program. (2006)
Keyphrases
  • program slicing
  • source code
  • description languages
  • fault localization
  • formal verification
  • reverse engineering