ModCon: a model-based testing platform for smart contracts
Published:
Ye Liu, Yi Li, Shang-Wei Lin, Qiang Yan, In the proceedings of Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020. https://dl.acm.org/doi/pdf/10.1145/3368089.3417939