Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
Tue 10 May 2022 13:20 - 13:25 at ICSE room 2-odd hours - Variability and Product Lines 2 Chair(s): Candy Pang
Wed 11 May 2022 05:25 - 05:30 at ICSE room 3-odd hours - Tools and Configurations Chair(s): Robert Chatley

Owing to the pervasiveness of software in our modern lives, software systems have evolved to be highly configurable. Combinatorial testing has emerged as a dominant paradigm for testing highly configurable systems. Often constraints are employed to define the environments where a given system under test (SUT) is expected to work. Therefore, there has been a sustained interest in designing constraint-based test suite generation techniques. A significant goal of test suite generation techniques is to achieve t-wise coverage for higher values of t. Therefore, designing scalable techniques that can estimate t-wise coverage for a given set of tests and/or the estimation of maximum achievable t-wise coverage under a given set of constraints is of crucial importance. The existing estimation techniques face significant scalability hurdles.

The primary scientific contribution of this work is the design of scalable algorithms with mathematical guarantees to estimate (i) t-wise coverage for a given set of tests, and (ii) maximum t-wise coverage for a given set of constraints. In particular, we design a scalable framework ApproxCov that takes in a test set U, a coverage parameter t, a tolerance parameter ε, and a confidence parameter δ, and returns an estimate of the t-wise coverage of U that is guaranteed to be within (1 ± ε)-factor of the ground truth with probability at least 1-δ. We design a scalable framework ApproxMaxCov that, for a given formula F, a coverage parameter t, a tolerance parameter ε, and a confidence parameter δ, outputs an approximation which is guaranteed to be within (1 ± ε)-factor of the maximum achievable t-wise coverage under F, with probability ≥ 1-δ. Our comprehensive evaluation demonstrates that ApproxCov and ApproxMaxCov can handle benchmarks that are beyond the reach of current state-of-the-art approaches. We believe that the availability of ApproxCov and ApproxMaxCov will enable test suite designers to evaluate the effectiveness of their generators and thereby significantly impact the development of combinatorial testing techniques.

Tue 10 May

Displayed 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
5m
Talk
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
5m
Talk
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
5m
Talk
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
5m
Talk
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
5m
Talk
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
5m
Talk
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 May

Displayed 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
5m
Talk
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
5m
Talk
Reflekt: a Library for Compile-Time Reflection in Kotlin
SEIP - Software Engineering in Practice
Anastasia 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
5m
Talk
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
5m
Talk
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
5m
Talk
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
5m
Talk
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

Information for Participants
Tue 10 May 2022 13:00 - 14:00 at ICSE room 2-odd hours - Variability and Product Lines 2 Chair(s): Candy Pang
Info for room ICSE room 2-odd hours:

Click here to go to the room on Midspace

Wed 11 May 2022 05:00 - 06:00 at ICSE room 3-odd hours - Tools and Configurations Chair(s): Robert Chatley
Info for room ICSE room 3-odd hours:

Click here to go to the room on Midspace