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
Times are displayed in time zone: (UTC) Coordinated Universal Time change

00:00 - 01:00: Paper Presentations - P14-Testing at Goguryeo
Chair(s): Shin YooKorea Advanced Institute of Science and Technology
icse-2020-papers00:00 - 00:12
Dehai ZhaoAustralian National University, Zhenchang XingAustralia National University, Chunyang ChenMonash University, Xiwei XuData 61, Liming ZhuCSIRO's Data61 and UNSW, Guoqiang LiShanghai Jiao Tong University, Jinshui WangSchool of Information Science and Engineering, Fujian University of Technology, Fuzhou, China
icse-2020-papers00:12 - 00:24
Xiang GaoNational University of Singapore, Singapore, Ripon SahaFujitsu Laboratories of America, Inc., Mukul R. PrasadFujitsu Laboratories of America, Inc, Abhik RoychoudhuryNational University of Singapore, Singapore
icse-2020-Software-Engineering-in-Practice00:24 - 00:36
Emily KowalczykApple Inc., Karan NairApple, Zebao GaoApple, Leopold SilbersteinApple Inc., Teng LongApple, Atif MemonApple Inc.
icse-2020-papers00:36 - 00:48
Dongjie ChenNanjing University, Yanyan JiangNanjing University, Chang XuNanjing University, Xiaoxing MaNanjing University, Jian LuNanjing University
icse-2020-papers00:48 - 01:00
Xianhao JinVirginia Tech, USA, Francisco ServantVirginia Tech