• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Summary-Based Symbolic Evaluation for Smart Contracts.

Yu FengEmina TorlakRastislav 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