Login / Signup
Validation of Array Accesses: Integration of Flow Analysis and Program Verification Techniques.
Raymond W. Lo
Karl N. Levitt
Ronald A. Olsson
Published in:
Softw. Test. Verification Reliab. (1997)
Keyphrases
</>
flow analysis
information flow
forensic analysis
data fusion
access patterns
data integration
learning algorithm
social networks
website
decision trees
database systems
linear array