Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
Thu 12 May 2022 03:20 - 03:25 at ICSE room 5-odd hours - Software Testing 4 Chair(s): Aldeida Aleti
Thu 12 May 2022 22:15 - 22:20 at ICSE room 4-even hours - Software Testing 10 Chair(s): Xiao Qu

Controlled Concurrency testing (CCT) techniques have been shown promising for concurrency bug detection. Their key insight is to control the order in which threads get executed, and attempt to explore the space of possible interleavings of a concurrent program to detect bugs. However, various challenges remain in current CCT techniques, rendering them ineffective and ad-hoc. In this paper, we propose a novel CCT technique PERIOD. Unlike previous works, PERIOD models the execution of concurrent programs as periodical execution, and systematically explores the space of possible interleavings, where the exploration is guided by periodical scheduling and influenced by previously tested interleavings. We have evaluated PERIOD on 10 real-world CVEs and 36 widely-used benchmark programs, and our experimental results show that \name demonstrates superiority over other CCT techniques in both effectiveness and runtime overhead. Moreover, we have discovered 5 previously unknown concurrency bugs in real-world programs.

Thu 12 May

Displayed time zone: Eastern Time (US & Canada) change

03:00 - 04:00
03:00
5m
Talk
Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain
Journal-First Papers
Oscar Cornejo SnT Centre, University of Luxembourg, Fabrizio Pastore University of Luxembourg, Lionel Briand University of Luxembourg; University of Ottawa
Link to publication DOI Pre-print Media Attached
03:05
5m
Talk
Automated Visual Testing for Mobile Apps in an Industrial Setting
SEIP - Software Engineering in Practice
Dezhi Ran Peking University, Zongyang Li Peking University, Chenxu Liu Peking University, Wenyu Wang University of Illinois Urbana-Champaign, Weizhi Meng Alibaba Group, Xionglin Wu Alibaba Group, Hui Jin Alibaba Group, Jing Cui Alibaba Group, Xing Tang Alibaba Group, Tao Xie Peking University
DOI Pre-print
03:10
5m
Talk
FADATest: Fast and Adaptive Performance Regression Testing of Dynamic Binary Translation Systems
Technical Track
Jin Wu Harbin Institute of Technology, Jian Dong Harbin Institute Of Technology, Ruili Fang University of Georgia, Wen Zhang University of Georgia, Wenwen Wang University of Georgia, Decheng Zuo Harbin Institute of Technology
Pre-print Media Attached
03:15
5m
Talk
Repairing Order-Dependent Flaky Tests via Test Generation
Technical Track
Chengpeng Li University of Texas at Austin, Chenguang Zhu University of Texas at Austin, Wenxi Wang University of Texas at Austin, August Shi University of Texas at Austin
Link to publication DOI Media Attached
03:20
5m
Talk
Controlled Concurrency Testing via Periodical Scheduling
Technical Track
Cheng Wen Shenzhen University, Mengda He SCEDT, Teesside University, Bohao Wu CSSE, Shenzhen University, Zhiwu Xu Shenzhen University, Shengchao Qin Huawei Hong Kong Research Centre, China
DOI Pre-print Media Attached
03:25
5m
Talk
BeDivFuzz: Integrating Behavioral Diversity into Generator-based Fuzzing
Technical Track
Hoang Lam Nguyen Humboldt-Universit├Ąt zu Berlin, Lars Grunske Humboldt-Universit├Ąt zu Berlin
Pre-print Media Attached
22:00 - 23:00
Software Testing 10Technical Track / SEIP - Software Engineering in Practice at ICSE room 4-even hours
Chair(s): Xiao Qu ABB Corporate Research
22:00
5m
Talk
Automated Visual Testing for Mobile Apps in an Industrial Setting
SEIP - Software Engineering in Practice
Dezhi Ran Peking University, Zongyang Li Peking University, Chenxu Liu Peking University, Wenyu Wang University of Illinois Urbana-Champaign, Weizhi Meng Alibaba Group, Xionglin Wu Alibaba Group, Hui Jin Alibaba Group, Jing Cui Alibaba Group, Xing Tang Alibaba Group, Tao Xie Peking University
DOI Pre-print
22:05
5m
Talk
Use of Test Doubles in Android Testing: An In-Depth Investigation
Technical Track
Mattia Fazzini University of Minnesota, Chase Choi University of Minnesota, Juan Manuel Copia IMDEA Software Institute, Gabriel Lee University of Minnesota, Yoshiki Kakehi Georgia Institute of Technology, Alessandra Gorla IMDEA Software Institute, Alessandro Orso Georgia Tech
Pre-print Media Attached
22:10
5m
Talk
Inference and Test Generation Using Program Invariants in Chemical Reaction Networks
Technical Track
Michael C. Gerten Iowa State University, Alexis L. Marsh Iowa State University, James I. Lathrop Iowa State University, Myra Cohen Iowa State University, Andrew S. Miner Iowa State University, Titus H. Klinge Drake University
DOI Pre-print Media Attached
22:15
5m
Talk
Controlled Concurrency Testing via Periodical Scheduling
Technical Track
Cheng Wen Shenzhen University, Mengda He SCEDT, Teesside University, Bohao Wu CSSE, Shenzhen University, Zhiwu Xu Shenzhen University, Shengchao Qin Huawei Hong Kong Research Centre, China
DOI Pre-print Media Attached
22:20
5m
Talk
SymTuner: Maximizing the Power of Symbolic Execution by Adaptively Tuning External ParametersDistinguished Paper Award
Technical Track
Sooyoung Cha Sungkyunkwan University, Myungho Lee Korea University, Seokhyun Lee Korea University, South Korea, Hakjoo Oh Korea University
Pre-print Media Attached
22:25
5m
Talk
Path Transitions Tell More: Optimizing Fuzzing Schedules via Runtime Program States
Technical Track
Kunpeng Zhang Tsinghua Shenzhen International Graduate School, Tsinghua University, Xi Xiao Tsinghua Shenzhen International Graduate School, Tsinghua University, Xiaogang Zhu Swinburne University of Technology, Ruoxi Sun The University of Adelaide, Minhui (Jason) Xue University of Adelaide, Sheng Wen Swinburne University of Technology
DOI Pre-print Media Attached

Information for Participants
Thu 12 May 2022 03:00 - 04:00 at ICSE room 5-odd hours - Software Testing 4 Chair(s): Aldeida Aleti
Info for room ICSE room 5-odd hours:

Click here to go to the room on Midspace

Thu 12 May 2022 22:00 - 23:00 at ICSE room 4-even hours - Software Testing 10 Chair(s): Xiao Qu
Info for room ICSE room 4-even hours:

Click here to go to the room on Midspace