Yi Li bio photo

Yi Li

Associate Professor

School of Computer Science and Engineering (SCSE)
Nanyang Technological University (NTU)

Address: Block N4-02b-63
50 Nanyang Avenue, Singapore 639798
Phone: +65 6790 4287

Email Twitter LinkedIn GitHub Bitbucket Google Scholar ORCID

With my PhD student Ye Liu, Shang-Wei Lin from NTU, and Qiang Yan from WeBank, we’ve built a model-based testing platform—ModCon—for smart contracts [1]. ModCon relies on user-specified models to define test oracles, guide test generation, and measure test adequacy. ModCon is web-based and supports both permissionless and permissioned blockchain platforms. We demonstrated the usage and key features of ModCon on real enterprise smart contract applications from WeBank.

We are planning to launch the ModCon service online soon. Please stay tuned. In the meantime, you can find the video demonstration below.

ModCon Demo Video

References

  1. Liu, Y., Li, Y., Lin, S.-W., & Yan, Q. (2020). ModCon: A Model-Based Testing Platform for Smart Contracts. Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 1601–1605.