KeY: A Formal Method for Object-Oriented Systems.

Wolfgang Ahrendt Bernhard Beckert Reiner Hähnle Peter H. Schmitt

Published in: FMOODS (2007)

Keyphrases

detection method
synthetic data
high accuracy
experimental evaluation
preprocessing
databases
clustering method
dynamic programming
cost function
case study
significant improvement
cooperative
computational cost
feature extraction
knowledge management
high level
database
segmentation method
high precision