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
Thu 12 Nov
Times are displayed in time zone: (UTC) Coordinated Universal Time change
01:00 - 01:30: Testing 1Paper Presentations / Industry Papers / Research Papers / Tool Demos at Virtual room 2 | |||
| 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 | ||