Automatic mining of specifications from invocation traces and method invariants.

Ivo Krka Yuriy Brun Nenad Medvidovic

Published in: SIGSOFT FSE (2014)

Keyphrases

high accuracy
detection method
high precision
dynamic programming
computational cost
tree structure
data sets
pairwise
cost function
clustering method
mining algorithm
fully automatic
segmentation method
synthetic data
classification accuracy
prior knowledge
preprocessing
objective function