Dynamic Program Slicing in Understanding of Program Execution.

Bogdan Korel Juergen Rilling

Published in: WPC (1997)

Keyphrases

program execution
program slicing
artificial intelligence
case study
expert systems
formal verification
fault localization
description languages