Proteus: computing disjunctive loop summary via path dependency analysis.

Xiaofei Xie Bihuan Chen Yang Liu Wei Le Xiaohong Li

Published in: SIGSOFT FSE (2016)

Keyphrases

dependency analysis
shortest path
impact analysis
machine learning
decision making
information entropy
ontology driven
databases
multimedia