Write a Blog >>
ICSE 2020
Mon 5 - Sun 11 October 2020 Location to be announced
Wed 7 Oct 2020 15:20 - 15:40 at TBD2 - Testing 2

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.

Wed 7 Oct (GMT+09:00) Seoul change

14:00 - 15:40: Paper Presentations - Testing 2 at TBD2
icse-2020-Software-Engineering-in-Practice14:00 - 14:20
Emily KowalczykApple Inc., Karan NairApple, Zebao GaoApple, Leopold SilbersteinApple Inc., Teng LongApple, Atif MemonApple Inc.
Demonstrations14:20 - 14:30
Bruno LimaFaculty of Engineering, University of Porto and INESC TEC, João Pascoal FariaFaculty of Engineering, University of Porto and INESC TEC
icse-2020-New-Ideas-and-Emerging-Results14:30 - 14:40
Valerio TerragniUniversità della Svizzera Italiana, Pasquale SalzaUniversity of Zurich, Filomena FerrucciUniversity of Salerno
icse-2020-Software-Engineering-in-Practice14:40 - 15:00
Mingyu ParkLG Electronics, Hoon JangHyundai Motor Company, Taejoon ByunUniversity of Minnesota, Yunja ChoiKyungpook National University
icse-2020-papers15:00 - 15:20
Wing LamUniversity of Illinois at Urbana-Champaign, Kıvanç MuşluMicrosoft, Hitesh SajnaniMicrosoft , Suresh ThummalapentaMicrosoft
icse-2020-papers15:20 - 15:40
Dongjie ChenNanjing University, Yanyan JiangNanjing University, Chang XuNanjing University, Xiaoxing Ma, Jian LuNanjing University