SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction

Susmit Jha Sanjit A. Seshia

Published in: CoRR (2013)

Keyphrases

automatically generated
test cases
data mining
machine learning
digital libraries
multiresolution
inductive learning
three dimensional
expert systems
concept learning
subgroup discovery