Program slicing for codesign.

Jeffry T. Russell

Published in: CODES (2002)

Keyphrases

program slicing
description languages
hardware software
source code
fault localization
formal verification
reverse engineering
software maintenance
description language
software testing
artificial intelligence
model based diagnosis
model checking
object oriented
software systems
open source
data model
web services