Summary-Based Symbolic Evaluation for Smart Contracts.

Yu Feng Emina Torlak Rastislav Bodík

Published in: ASE (2020)

Keyphrases

evaluation method
evaluation model
data sets
high level
evaluation criteria
databases
data mining
evaluation metrics
gold standard
summary generation