Path-sensitive resource analysis compliant with assertions.

Duc-Hiep Chu Joxan Jaffar

Published in: EMSOFT (2013)

Keyphrases

statistical analysis
neural network
data analysis
database
databases
routing protocol
quantitative analysis