Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Thu 9 Jul 2020 00:36 - 00:48 at Goguryeo - P14-Testing Chair(s): Shin Yoo

Generating high-quality system call sequences is not only important to testing file system implementations, but also challenging due to the astronomically large input space. This paper introduces a new methodology for generating workloads for testing modern complex software, namely, the layered model checking, which generates diverse abstract workloads with respect to abstract models and extends them to concrete ones layer by layer. The methodology is instantiated as a file system workload generator. In a short-period experiment run, sequential workloads (system call sequences) manifested over a thousand crashes in mainline Linux Kernel file systems, with 12 previously unknown bugs being reported. We also provide evidence that such workloads benefit other domain-specific testing techniques including crash consistency testing and concurrency testing.

Thu 9 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

00:00 - 01:00
P14-TestingTechnical Papers / Software Engineering in Practice at Goguryeo
Chair(s): Shin Yoo Korea Advanced Institute of Science and Technology
00:00
12m
Talk
Seenomaly: Vision-Based Linting of GUI Animation Effects Against Design-Don’t GuidelinesTechnical
Technical Papers
Dehai Zhao Australian National University, Zhenchang Xing Australia National University, Chunyang Chen Monash University, Xiwei Xu Data 61, Liming Zhu CSIRO's Data61 and UNSW, Guoqiang Li Shanghai Jiao Tong University, Jinshui Wang School of Information Science and Engineering, Fujian University of Technology, Fuzhou, China
00:12
12m
Talk
Fuzz Testing based Data Augmentation to Improve Robustness of Deep Neural NetworksTechnical
Technical Papers
Xiang Gao National University of Singapore, Singapore, Ripon Saha Fujitsu Laboratories of America, Inc., Mukul R. Prasad Fujitsu Laboratories of America, Inc, Abhik Roychoudhury National University of Singapore, Singapore
00:24
12m
Talk
Modeling and Ranking Flaky Tests at AppleSEIP
Software Engineering in Practice
Emily Kowalczyk Apple Inc., Karan Nair Apple, Zebao Gao Apple, Leopold Silberstein Apple Inc., Teng Long Apple, Atif Memon Apple Inc.
00:36
12m
Talk
Testing File System Implementations on Layered ModelsTechnicalArtifact Available
Technical Papers
Dongjie Chen Nanjing University, Yanyan Jiang Nanjing University, Chang Xu Nanjing University, Xiaoxing Ma Nanjing University, Jian Lu Nanjing University
00:48
12m
Talk
A Cost-efficient Approach to Building in Continuous IntegrationTechnical
Technical Papers
Xianhao Jin Virginia Tech, USA, Francisco Servant Virginia Tech
Pre-print