Quantitative program slicing: separating statements by relevance.

Raúl A. Santelices Yiji Zhang Siyuan Jiang Haipeng Cai Ying-Jie Zhang

Published in: ICSE (2013)

Keyphrases

program slicing
description languages
formal verification
source code
fault localization
reverse engineering
natural language
software systems
artificial intelligence
multi agent systems
software engineering
image quality