Sign in

Abstract program slicing on dependence condition graphs.

Raju HalderAgostino Cortesi
Published in: Sci. Comput. Program. (2013)
Keyphrases
  • program slicing
  • description languages
  • formal verification
  • fault localization
  • source code
  • high level
  • reverse engineering
  • artificial intelligence