Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis.

David J. Pearce Paul H. J. Kelly Chris Hankin

Published in: Softw. Qual. J. (2004)

Keyphrases

automatic detection
automatic analysis
image analysis
real time
automated analysis
detection method
object detection
visual analysis
quantitative analysis
statistical analysis
online learning
probabilistic model
artificial neural networks
information technology
decision trees
genetic algorithm
machine learning