Wed 11 May 2022 05:20 - 05:25 at ICSE room 3-odd hours - Tools and Configurations Chair(s): Robert Chatley
Detecting and understanding reasons for defects and inadvertent behavior in software is challenging due to their increasing complexity. In configurable software systems, the combinatorics that arises from the multitude of features a user might select from adds a further layer of complexity. We introduce the notion of feature causality, which is based on counterfactual reasoning and inspired by the seminal definition of actual causality by Halpern and Pearl. Feature causality operates at the level of system configurations and is capable of identifying features and their interactions that are the reason for emerging functional and non-functional properties. We present various methods to explicate these reasons, in particular well-established notions of responsibility and blame that we extend to the feature-oriented setting. Establishing a close connection of feature causality to prime implicants, we provide algorithms to effectively compute feature causes and causal explications. By means of an evaluation on a wide range of configurable software systems, including community benchmarks and real-world systems, we demonstrate the feasibility of our approach: We illustrate how our notion of causality facilitates to identify root causes, estimate the effects of features, and detect feature interactions.
Tue 10 MayDisplayed time zone: Eastern Time (US & Canada) change
13:00 - 14:00 | Variability and Product Lines 2Technical Track / Journal-First Papers at ICSE room 2-odd hours Chair(s): Candy Pang MacEwan University | ||
13:00 5mTalk | Transfer Learning Across Variants and Versions: The Case of Linux Kernel Size Journal-First Papers Hugo Martin Univ Rennes, Inria, CNRS, IRISA, Mathieu Acher Univ. Rennes 1, Inria, IRISA, Institut Universitaire de France (IUF), Juliana Alves Pereira PUC-Rio, Luc Lesoil IRISA, Jean-Marc Jézéquel Univ Rennes - IRISA, Djamel Eddine Khelladi CNRS, France Link to publication DOI Pre-print Media Attached | ||
13:05 5mTalk | SugarC: Scalable Desugaring of Real-World Preprocessor Usage into Pure C Technical Track Zachary Patterson University of Texas at Dallas, Zenong Zhang The University of Texas at Dallas, Brent Pappas University of Central Florida, Shiyi Wei University of Texas at Dallas, Paul Gazzillo University of Central Florida Pre-print Media Attached | ||
13:10 5mTalk | On the Benefits and Limits of Incremental Build of Software Configurations: An Exploratory Study Technical Track Georges Aaron RANDRIANAINA Université de Rennes 1, IRISA, Xhevahire Tërnava Université de Rennes 1, INRIA/IRISA, Djamel Eddine Khelladi CNRS, France, Mathieu Acher Univ. Rennes 1, Inria, IRISA, Institut Universitaire de France (IUF) Pre-print Media Attached | ||
13:15 5mTalk | Causality in Configurable Software Systems Technical Track Clemens Dubslaff TU Dresden, Kallistos Weis Saarland University, Christel Baier TU Dresden, Germany, Sven Apel Saarland University Pre-print Media Attached | ||
13:20 5mTalk | A Scalable t-wise Coverage Estimator Technical Track Eduard Baranov Université Catholique de Louvain, Belgium, Sourav Chakraborty Indian Statistical Institute (ISI) , Kolkata, India, Axel Legay Université Catholique de Louvain, Belgium, Kuldeep S. Meel National University of Singapore, N. V. Vinodchandran University of Nebraska-Lincoln DOI Pre-print Media Attached | ||
13:25 5mTalk | On Debugging the Performance of Configurable Software Systems: Developer Needs and Tailored Tool Support Technical Track Miguel Velez Carnegie Mellon University, Pooyan Jamshidi University of South Carolina, Norbert Siegmund Leipzig University, Sven Apel Saarland University, Christian Kästner Carnegie Mellon University Pre-print Media Attached |
Wed 11 MayDisplayed time zone: Eastern Time (US & Canada) change
05:00 - 06:00 | Tools and ConfigurationsTechnical Track / SEIP - Software Engineering in Practice at ICSE room 3-odd hours Chair(s): Robert Chatley Imperial College London | ||
05:00 5mTalk | Challenges in Applying Continuous Experimentation: A Practitioners’ Perspective SEIP - Software Engineering in Practice Kevin Anderson Delft University of Technology, Denise Visser bol.com, Jan-Willem Mannen ING, Yuxiang Jiang Delft University of Technology, Arie van Deursen Delft University of Technology, Netherlands DOI Pre-print | ||
05:05 5mTalk | Reflekt: a Library for Compile-Time Reflection in Kotlin SEIP - Software Engineering in Practice Anastasiia Birillo JetBrains Research, Elena Lyulina JetBrains Research, Maria Malysheva JetBrains Research;Saint Petersburg State University, Vladislav Tankov JetBrains, ITMO University, Timofey Bryksin JetBrains Research; HSE University Pre-print Media Attached | ||
05:10 5mTalk | ARCLIN: Automated API Mention Resolution for Unformatted Texts Technical Track Yintong Huo The Chinese University of Hong Kong, Yuxin Su Sun Yat-sen University, Hongming Zhang The Hong Kong University of Science and Technology, Michael Lyu The Chinese University of Hong Kong DOI Pre-print Media Attached | ||
05:15 5mTalk | On the Benefits and Limits of Incremental Build of Software Configurations: An Exploratory Study Technical Track Georges Aaron RANDRIANAINA Université de Rennes 1, IRISA, Xhevahire Tërnava Université de Rennes 1, INRIA/IRISA, Djamel Eddine Khelladi CNRS, France, Mathieu Acher Univ. Rennes 1, Inria, IRISA, Institut Universitaire de France (IUF) Pre-print Media Attached | ||
05:20 5mTalk | Causality in Configurable Software Systems Technical Track Clemens Dubslaff TU Dresden, Kallistos Weis Saarland University, Christel Baier TU Dresden, Germany, Sven Apel Saarland University Pre-print Media Attached | ||
05:25 5mTalk | A Scalable t-wise Coverage Estimator Technical Track Eduard Baranov Université Catholique de Louvain, Belgium, Sourav Chakraborty Indian Statistical Institute (ISI) , Kolkata, India, Axel Legay Université Catholique de Louvain, Belgium, Kuldeep S. Meel National University of Singapore, N. V. Vinodchandran University of Nebraska-Lincoln DOI Pre-print Media Attached |