Type Analysis and Automatic Static Detection of Infeasible Paths.

Fuping Zeng Wenjing Liu Xiaodong Gou

Published in: GSKI (2) (2017)

Keyphrases

data analysis
statistical analysis
automatic analysis
data sets
image processing
multiscale
expert systems
shortest path
false positives
computationally expensive
automatic detection
automated analysis