Login / Signup

Program slicing enhances a verification technique combining static and dynamic analysis.

Omar ChebaroNikolai KosmatovAlain GiorgettiJacques Julliand
Published in: SAC (2012)
Keyphrases
  • dynamic analysis
  • program slicing
  • reverse engineering
  • model checking
  • formal verification
  • static analysis
  • source code
  • software engineering
  • software metrics
  • software maintenance
  • object oriented
  • test set
  • life cycle