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.
Conference DayThu 12 NovDisplayed time zone: (UTC) Coordinated Universal Time change
Conference Day
Thu 12 NovDisplayed time zone: (UTC) Coordinated Universal Time change
01:00 - 01:30 | |||
01:00 2mLong-paper | FrUITeR: A Framework for Evaluating UI Test Reuse Research Papers Yixue ZhaoUniversity of Massachusetts at Amherst, USA, Justin ChenColumbia University, USA, Adriana SejfiaUniversity of Southern California, USA, Marcelo Schmitt 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 1mTalk | ModCon: A Model-Based Testing Platform for Smart Contracts Tool Demos Ye LiuNanyang Technological University, Singapore, Yi LiNanyang Technological University, Singapore, Shang-Wei LinNanyang Technological University, Singapore, Qiang YanWeBank, n.n. DOI Pre-print Media Attached | ||
01:05 1mTalk | Object Detection for Graphical User Interface: Old Fashioned or Deep Learning or a Combination? 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 DOI | ||
01:07 1mTalk | UIED: A Hybrid Tool for GUI Element Detection 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 DOI | ||
01:09 1mTalk | WebRR: Self-Replay Enhanced Robust Record/Replay for Web Application Testing 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 DOI | ||
01:11 19mTalk | Conversations on Testing 1 Paper Presentations Guoquan WuInstitute of Software at Chinese Academy of Sciences, China, Jieshan ChenAustralian National University, Australia, Sidong FengAustralian National University, Australia, Ye LiuNanyang Technological University, Singapore, Yixue ZhaoUniversity of Massachusetts at Amherst, USA, Mulong XieAustralian National University, Australia, M: Corina S. PăsăreanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center | ||