Write a Blog >>
MSR 2021
Mon 17 - Wed 19 May 2021
co-located with ICSE 2021

This program is tentative and subject to change.

Wed 19 May 2021 10:41 - 10:50 at MSR Room 1 - Datasets

Equivalence checking techniques help establish whether two versions of a program exhibit the same behavior. The majority of popular techniques for formally proving/refutingequivalence are evaluated on small and simplistic benchmarks, omitting “difficult” programming constructs, such as non-lineararithmetic, loops, floating-point arithmetic, and string and array manipulation. This hinders efficient evaluation of these techniques and the ability to establish their practical applicability in real scenarios. This paper addresses this gap by contributing EQBENCH – the largest and most comprehensive benchmark for equivalence checking analysis, which contains 135 equivalent and 113 non-equivalent cases, in both C and Java languages. We envision that EQBENCH can facilitate a more realistic evaluation of equivalence checking techniques, assessing their individual strength and weaknesses. Moreover, this benchmark can be used to facilitate the evaluation of other software-maintenance-related techniques, such as clone and refactoring detection, change impact analysis, and automated test generation.

This program is tentative and subject to change.

Wed 19 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 10:50
10:00
8m
Talk
AndroidCompass: A Dataset of Android Compatibility Checks in Code Repositories
Data Showcase
Sebastian NielebockOtto-von-Guericke University Magdeburg, Germany, Paul BlockhausOtto-von-Guericke-University Magdeburg, Germany, Jacob KrügerOtto von Guericke University Magdeburg, Frank OrtmeierOtto-von-Guericke-University Magdeburg, Faculty of Computer Science, Chair of Software Engineering
Pre-print Media Attached
10:08
8m
Talk
GE526: A Dataset of Open Source Game Engines
Data Showcase
Dheeraj VagavoluIndian Institute of Technology Tirupati, Vartika AgrahariIndian Institute of Technology Tirupati, Sridhar ChimalakondaIndian Institute of Technology Tirupati, Akhila Sri Manasa VenigallaIIT Tirupati, India
10:16
8m
Talk
Andromeda: A Dataset of Ansible Galaxy Roles and Their Evolution
Data Showcase
Ruben OpdebeeckVrije Universiteit Brussel, Ahmed ZeroualiVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
10:25
8m
Talk
The Wonderless Dataset for Serverless Computing
Data Showcase
Nafise EskandaniTU Darmstadt, Guido SalvaneschiUniversity of St. Gallen
10:33
8m
Talk
DUETS: A Dataset of Reproducible Pairs of Java Library-Clients
Data Showcase
Thomas DurieuxKTH Royal Institute of Technology, Sweden, César Soto-ValeroKTH Royal Institute of Technology, Benoit BaudryKTH Royal Institute of Technology
Pre-print
10:41
8m
Talk
EQBENCH: A Dataset of Equivalent and Non-equivalent Program Pairs
Data Showcase
Sahar BadihiUniversity of British Columbia, Canada, Yi LiNanyang Technological University, Singapore, Julia RubinUniversity of British Columbia, Canada