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.
Thu 12 NovDisplayed time zone: (UTC) Coordinated Universal Time change
Thu 12 Nov
Displayed 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 Zhao University of Massachusetts at Amherst, USA, Justin Chen Columbia University, USA, Adriana Sejfia University of Southern California, USA, Marcelo Schmitt Laser University of Southern California, USA, Jie M. Zhang University College London, UK, Federica Sarro University College London, UK, Mark Harman University 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 Liu Nanyang Technological University, Singapore, Yi Li Nanyang Technological University, Shang-Wei Lin Nanyang Technological University, Singapore, Qiang Yan WeBank, 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 Chen Australian National University, Australia, Mulong Xie Australian National University, Australia, Zhenchang Xing Australian National University, Australia, Chunyang Chen Monash University, Australia, Xiwei (Sherry) Xu Data61 at CSIRO, Australia, Liming Zhu Data61 at CSIRO, Australia / UNSW, Australia, Guoqiang Li Shanghai Jiao Tong University, China DOI | ||
01:07 1mTalk | UIED: A Hybrid Tool for GUI Element Detection Tool Demos Mulong Xie Australian National University, Australia, Sidong Feng Australian National University, Australia, Zhenchang Xing Australian National University, Australia, Jieshan Chen Australian National University, Australia, Chunyang Chen Monash University, Australia DOI | ||
01:09 1mTalk | WebRR: Self-Replay Enhanced Robust Record/Replay for Web Application Testing Industry Papers Zhenyue Long China Southern Power Grid, China, Guoquan Wu Institute of Software at Chinese Academy of Sciences, China, Xiaojiang Chen China Southern Power Grid, China, Wei Chen Institute of Software at Chinese Academy of Sciences, China, Jun Wei State 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 Wu Institute of Software at Chinese Academy of Sciences, China, Jieshan Chen Australian National University, Australia, Sidong Feng Australian National University, Australia, Ye Liu Nanyang Technological University, Singapore, Yixue Zhao University of Massachusetts at Amherst, USA, Mulong Xie Australian National University, Australia, M: Corina S. Păsăreanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center | ||