ICSE 2020 (series) / AST 2020 (series) / ACM/IEEE International Conference on Automation of Software Test AST 2020 /
The Power of String Solving: Simplicity of Comparison
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 JulDisplayed time zone: (UTC) Coordinated Universal Time change
Wed 15 Jul
Displayed time zone: (UTC) Coordinated Universal Time change
14:00 - 15:00 | |||
14:00 10mResearch paper | Exploratory Datamorphic Testing of Classification Applications AST | ||
14:10 10mResearch 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 10mResearch 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 10mResearch 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 10mShort-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 10mShort-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 |