• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Program Slicing for ATPG-Based Property Checking.

Vivekananda M. VedulaWhitney J. TownsendJacob A. Abraham
Published in: VLSI Design (2004)
Keyphrases
  • program slicing
  • description languages
  • source code
  • fault localization
  • formal verification
  • reverse engineering
  • artificial intelligence