Login / Signup

ModCon: a model-based testing platform for smart contracts.

Ye LiuYi LiShang-Wei LinQiang Yan
Published in: ESEC/SIGSOFT FSE (2020)
Keyphrases
  • model based testing
  • test cases
  • software development
  • data sets
  • supply chain
  • security policies
  • software testing
  • neural network
  • case study
  • data mining techniques
  • operating system
  • test sequences
  • sequence diagrams