HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection.
Vijay GaneshAdam KiezunShay ArtziPhilip J. GuoPieter HooimeijerMichael D. ErnstPublished in: CAV (2011)
Keyphrases
- automatic analysis
- automated analysis
- image analysis
- detection algorithm
- decision trees
- automatic detection
- computer vision
- visual analysis
- data structure
- support vector
- quantitative analysis
- reliable detection
- databases
- event detection
- pattern matching
- detection method
- data analysis
- image segmentation
- search engine
- information retrieval