Sign in

A trajectory-based strict semantics for program slicing.

Richard W. BarracloughDavid W. BinkleySebastian DanicicMark HarmanRobert M. HieronsÁkos KissMike LaurenceLahcen Ouarbya
Published in: Theor. Comput. Sci. (2010)
Keyphrases
  • program slicing
  • description languages
  • source code
  • formal verification
  • fault localization
  • neural network
  • software metrics