ModCon: a model-based testing platform for smart contracts
Published:
Ye Liu, Yi Li, Shang-Wei Lin, Qiang Yan, "ModCon: a model-based testing platform for smart contracts." 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