Write a Blog >>
MSR 2021
Mon 17 - Wed 19 May 2021
co-located with ICSE 2021
Wed 19 May 2021 10:16 - 10:19 at MSR Room 1 - Datasets Chair(s): Sridhar Chimalakonda

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.

Wed 19 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 10:50
DatasetsData Showcase / Technical Papers at MSR Room 1
Chair(s): Sridhar Chimalakonda Indian Institute of Technology Tirupati
10:01
3m
Talk
AndroidCompass: A Dataset of Android Compatibility Checks in Code Repositories
Data Showcase
Sebastian Nielebock Otto-von-Guericke University Magdeburg, Germany, Paul Blockhaus Otto-von-Guericke-University Magdeburg, Germany, Jacob Krüger Otto von Guericke University Magdeburg, Frank Ortmeier Otto-von-Guericke-University Magdeburg, Faculty of Computer Science, Chair of Software Engineering
Pre-print Media Attached
10:04
3m
Talk
GE526: A Dataset of Open Source Game Engines
Data Showcase
Dheeraj Vagavolu Indian Institute of Technology Tirupati, Vartika Agrahari Indian Institute of Technology Tirupati, Sridhar Chimalakonda Indian Institute of Technology Tirupati, Akhila Sri Manasa Venigalla IIT Tirupati, India
10:07
3m
Talk
Andromeda: A Dataset of Ansible Galaxy Roles and Their Evolution
Data Showcase
Ruben Opdebeeck Vrije Universiteit Brussel, Ahmed Zerouali Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel
10:10
3m
Talk
The Wonderless Dataset for Serverless Computing
Data Showcase
Nafise Eskandani TU Darmstadt, Guido Salvaneschi University of St. Gallen
Pre-print
10:13
3m
Talk
DUETS: A Dataset of Reproducible Pairs of Java Library-Clients
Data Showcase
Thomas Durieux KTH Royal Institute of Technology, Sweden, César Soto-Valero KTH Royal Institute of Technology, Benoit Baudry KTH Royal Institute of Technology
Pre-print
10:16
3m
Talk
EQBENCH: A Dataset of Equivalent and Non-equivalent Program Pairs
Data Showcase
Sahar Badihi University of British Columbia, Canada, Yi Li Nanyang Technological University, Julia Rubin University of British Columbia, Canada
10:19
31m
Live Q&A
Discussions and Q&A
Technical Papers


Information for Participants
Wed 19 May 2021 10:00 - 10:50 at MSR Room 1 - Datasets Chair(s): Sridhar Chimalakonda
Info for room MSR Room 1:

Go directly to this room on Clowdr