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.

Conference Day
Wed 15 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

14:00 - 15:00
Live Session 2 AST at AST
Chair(s): Fevzi BelliPaderborn University, Germany
14:00
10m
Research paper
Exploratory Datamorphic Testing of Classification Applications
AST
Hong ZhuOxford Brookes University , Ian BayleyOxford Brookes University
14:10
10m
Research paper
Algorithm or Representation? An Empirical Study on How SAPIENZ Achieves Coverage
AST
Iván Arcuschin MorenoUniversity of Buenos Aires, Argentina, Juan Pablo GaleottiUniversity of Buenos Aires, Diego GarbervetskyUniversity 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 GoldsteinNokia Bell Labs, Israel, Leonardo MarianiUniversity of Milano Bicocca, Itai SegallNokia Bell-Labs, Luca UssiUniversity of Milano-Bicocca, Italy
File Attached
14:30
10m
Research paper
Validating Test Case Migration via Mutation Analysis
AST
Ivan JovanovikjPaderborn University, Enes YigitbasUniversity of Paderborn, Germany, Achyuth NagarajPaderborn University, Stefan SauerPaderborn University, Gregor EngelsPaderborn University
Pre-print
14:40
10m
Short-paper
Automated Analysis of Flakiness-mitigating Delays
AST
Jean MalmMalardalen University, Adnan CausevicMälardalen University, Bjorn LisperMalardalen University, Sigrid EldhEricsson, Sweden
14:50
10m
Short-paper
The Power of String Solving: Simplicity of Comparison
AST
Mitja KulczynskiKiel University, Florin ManeaUniversity of Göttingen, Dirk NowotkaKiel University, Danny Bøgsted PoulsenAalborg University