Path-sensitive region analysis for mercury programs.

Quan Phan Gerda Janssens

Published in: PPDP (2009)

Keyphrases

case study
image analysis
statistical analysis
quantitative analysis
data sets
real world
decision making
automatic analysis