Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Wed 15 Jul 2020 14:50 - 15:00 at AST - Live Session 2 Chair(s): Fevzi Belli

The increased interest in string solving in the recent years has made it very hard to identify the right tool to address a particular user’s purpose. Firstly, there is a multitude of string solving, each addressing essentially some subset of the general problem. Generally, the addressed fragments are relevant and well motivated, but the lack of comparisons between the existing tools on an equal set of benchmarks, cannot go unnoticed, especially as a common framework to compare solvers seems to be missing. In this paper we gather a set of relevant benchmarks and introduce our new benchmarking framework ZaligVinder to address this purpose.

Wed 15 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

14:00 - 15:00
Live Session 2 AST at AST
Chair(s): Fevzi Belli Paderborn University, Germany
14:00
10m
Research paper
Exploratory Datamorphic Testing of Classification Applications
AST
Hong Zhu Oxford Brookes University , Ian Bayley Oxford Brookes University
14:10
10m
Research paper
Algorithm or Representation? An Empirical Study on How SAPIENZ Achieves Coverage
AST
Iván Arcuschin Moreno University of Buenos Aires, Argentina, Juan Pablo Galeotti University of Buenos Aires, Diego Garbervetsky University of Buenos Aires and CONICET, Argentina
Pre-print
14:20
10m
Research paper
Automatic Ex-Vivo Regression Testing of Microservices
AST
Luca Gazzola Università degli Studi di Milano-Bicocca, Maayan Goldstein Nokia Bell Labs, Israel, Leonardo Mariani University of Milano Bicocca, Itai Segall Nokia Bell-Labs, Luca Ussi University of Milano-Bicocca, Italy
File Attached
14:30
10m
Research paper
Validating Test Case Migration via Mutation Analysis
AST
Ivan Jovanovikj Paderborn University, Enes Yigitbas University of Paderborn, Germany, Achyuth Nagaraj Paderborn University, Stefan Sauer Paderborn University, Gregor Engels Paderborn University
Pre-print
14:40
10m
Short-paper
Automated Analysis of Flakiness-mitigating Delays
AST
Jean Malm Malardalen University, Adnan Causevic Mälardalen University, Björn Lisper Malardalen University, Sigrid Eldh Ericsson, Sweden
14:50
10m
Short-paper
The Power of String Solving: Simplicity of Comparison
AST
Mitja Kulczynski Kiel University, Florin Manea University of Göttingen, Dirk Nowotka Kiel University, Danny Bøgsted Poulsen Aalborg University