Program Slicing for ATPG-Based Property Checking.

Vivekananda M. Vedula Whitney J. Townsend Jacob A. Abraham

Published in: VLSI Design (2004)

Keyphrases

program slicing
description languages
source code
fault localization
formal verification
reverse engineering
artificial intelligence