Dead Code Detection Method Based on Program Slicing.

Xing Wang Yingzhou Zhang Lian Zhao Xinghao Chen

Published in: CyberC (2017)

Keyphrases

detection method
program slicing
source code
description languages
formal verification
fault localization
face detection
detection algorithm
reverse engineering
open source
software metrics
software maintenance
software testing
region detection
case study
software systems
model based diagnosis
high level