Login / Signup
Specification Mining for Smart Contracts with Automatic Abstraction Tuning.
Florentin Guth
Valentin Wüstholz
Maria Christakis
Peter Müller
Published in:
CoRR (2018)
Keyphrases
</>
high level
text mining
knowledge discovery
supply chain
data mining
information retrieval
data model
data driven
fully automatic
pattern mining
mining algorithm
interesting patterns
formal specification
rule selection
database
specification language
parameter tuning
data mining methods
semi automatic