Write a Blog >>
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 Nov

Displayed time zone: (UTC) Coordinated Universal Time change

01:00 - 01:30
01:00
2m
Long-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
1m
Talk
ModCon: A Model-Based Testing Platform for Smart Contracts
Tool Demos
Ye Liu Nanyang Technological University, Singapore, Yi Li Nanyang Technological University, Singapore, Shang-Wei Lin Nanyang Technological University, Singapore, Qiang Yan WeBank, n.n.
DOI Pre-print Media Attached
01:05
1m
Talk
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 Xu Data61 at CSIRO, Australia, Liming Zhu Data61 at CSIRO, Australia / UNSW, Australia, Guoqiang Li Shanghai Jiao Tong University, China
DOI
01:07
1m
Talk
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
1m
Talk
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
19m
Talk
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