Write a Blog >>

This program is tentative and subject to change.

Thu 12 Nov 2020 01:03 - 01:04 at Virtual room 2 - Testing 1

Unlike those on public permissionless blockchains, smart contracts on enterprise permissioned blockchains are not limited by resource constraints, and therefore often larger and more complex. Current testing and analysis tools lack support for such contracts, which demonstrate stateful behaviors and require special treatment in quality assurance. In this paper, we present a model-based testing platform, called ModCon, relying 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 demonstrate the usage and key features of ModCon on real enterprise smart contract applications.

This program is tentative and subject to change.

Thu 12 Nov
Times are displayed in time zone: (UTC) Coordinated Universal Time change

01:00 - 01:02
Long-paper
Research Papers
Yixue ZhaoUniversity of Southern California, USA, Justin ChenColumbia University, USA, Adriana SejfiaUniversity of Southern California, USA, Marcelo LaserUniversity of Southern California, USA, Jie M. ZhangUniversity College London, UK, Federica SarroUniversity College London, UK, Mark HarmanUniversity College London, UK, Nenad MedvidovićUniversity of Southern California, USA
DOI Pre-print Media Attached
01:03 - 01:04
Talk
Tool Demos
Ye LiuNanyang Technological University, Singapore, Yi LiNanyang Technological University, Singapore, Shang-Wei LinNanyang Technological University, Singapore, Qiang YanWeBank, n.n.
Pre-print Media Attached
01:05 - 01:06
Talk
Research Papers
Jieshan ChenAustralian National University, Australia, Mulong XieAustralian National University, Australia, Zhenchang XingAustralian National University, Australia, Chunyang ChenMonash University, Australia, Xiwei XuData61 at CSIRO, Australia, Liming ZhuData61 at CSIRO, Australia / UNSW, Australia, Guoqiang LiShanghai Jiao Tong University, China
01:07 - 01:08
Talk
Tool Demos
Mulong XieAustralian National University, Australia, Sidong FengAustralian National University, Australia, Zhenchang XingAustralian National University, Australia, Jieshan ChenAustralian National University, Australia, Chunyang ChenMonash University, Australia
01:09 - 01:10
Talk
Industry Papers
Zhenyue LongChina Southern Power Grid, China, Guoquan WuInstitute of Software at Chinese Academy of Sciences, China, Xiaojiang ChenChina Southern Power Grid, China, Wei ChenInstitute of Software at Chinese Academy of Sciences, China, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences
01:11 - 01:30
Talk
Paper Presentations