SMArTIC: towards building an accurate, robust and scalable specification miner.

David Lo Siau-Cheng Khoo

Published in: SIGSOFT FSE (2006)

Keyphrases

computationally efficient
highly accurate
high level
artificial intelligence
high accuracy
data sets
machine learning
information retrieval
multiscale
computational complexity
image registration
parameter free
formal verification
key ingredient