Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Wed 29 May 2019 14:00 - 14:20 at Laurier - Debugging and Fault Localization Chair(s): Marsha Chechik

Control-CPS software fault localization (SFL, aka bug localization) is of critical importance as bugs may cause major failures, even injuries/deaths. To locate the bugs in control-CPSs, SFL tools often demand many labeled (“correct”/“incorrect”) source code execution traces as inputs. To label the correctness of these traces, we must judge the corresponding control-CPS physical trajectories’ correctness. However, unlike discrete outputs, the boundaries between correct and incorrect physical trajectories are often vague. The mechanism (aka oracle) to judge the physical trajectories’ correctness thus becomes a major challenge. So far, the ad hoc practice of ``human oracles'' is still widely used, whose qualities heavily depend on the human experts’ expertise and availability. This paper proposes an oracle based on the well adopted autoregressive system identification (AR-SI).
With proven success for controlling black-box physical systems, AR-SI is adapted by us to identify the buggy control-CPS as a black-box. We use this identification result as an oracle to judge the control-CPS’s behaviors, and propose a methodology to prepare traces for control-CPS debugging. Comprehensive evaluations on classic control-CPSs with injected real-life and artificial bugs show that our proposed approach significantly outperforms the human oracle approach in SFL accuracy (recall) and latency, and in oracle false positive/negative rates. Our approach also helps discover a new real-life bug in a consumer-grade control-CPS.

Wed 29 May

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

14:00 - 15:30
Debugging and Fault LocalizationJournal-First Papers / Papers / Demonstrations / Technical Track at Laurier
Chair(s): Marsha Chechik University of Toronto
14:00
20m
Talk
A System Identification based Oracle for Control-CPS Software Fault LocalizationTechnical TrackIndustry Program
Technical Track
Zhijian He The Hong Kong Polytechnic University, Yao Chen The Hong Kong Polytechnic University, Enyan Huang The Hong Kong Polytechnic University, Qixin Wang The Hong Kong Polytechnic University, Yu Pei The Hong Kong Polytechnic University, Haidong Yuan The Chinese University of Hong Kong
14:20
20m
Talk
VeDebug: Regression Debugging Tool for JavaDemos
Demonstrations
Ben Buhse The University of Texas at Austin, Thomas Wei The University of Texas at Austin, Zhiqiang Zang The University of Texas at Austin, Aleksandar Milicevic , Milos Gligoric University of Texas at Austin
14:40
20m
Talk
ReCDroid: Automatically Reproducing Android Application Crashes from Bug ReportsArtifacts AvailableArtifacts Evaluated ReusableTechnical TrackIndustry Program
Technical Track
Yu Zhao University of Kentucky, Tingting Yu University of Kentucky, Ting Su Nanyang Technological University, Singapore, Yang Liu Nanyang Technological University, Singapore, Wei Zheng Northwestern Polytechnical University, Jingzhi Zhang Northwestern Polytechnical University, William G.J. Halfond University of Southern California
15:00
10m
Talk
How Practitioners Perceive Automated Bug Report Management TechniquesIndustry ProgramJournal-First
Journal-First Papers
Weiqin Zou nju, David Lo Singapore Management University, Zhenyu Chen Nanjing University, Xin Xia Monash University, Yang Feng University of California, Irvine, Baowen Xu
15:10
10m
Talk
Chaff from the Wheat: Characterizing and Determining Valid Bug ReportsJournal-First
Journal-First Papers
Yuanrui Fan , Xin Xia Monash University, David Lo Singapore Management University, Ahmed E. Hassan Queen's University
15:20
10m
Talk
Discussion Period
Papers