Program Tailoring: Slicing by Sequential Criteria (Artifact).

Tian Tan Yue Li Yifei Zhang Jingling Xue

Published in: Dagstuhl Artifacts Ser. (2016)

Keyphrases

program slicing
computer programs
decision making
fault localization
automatic programming
formal verification
computer science
multi criteria
selection criteria
multiple criteria
program execution
static analysis
databases
high level
case study
decision trees
artificial intelligence
information retrieval