The Power of String Solving: Simplicity of Comparison

Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Abstrakt

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.
OriginalsprogEngelsk
TitelAST '20: Proceedings of the IEEE/ACM 1st International Conference on Automation of Software Test
Antal sider4
ForlagAssociation for Computing Machinery
Publikationsdato2020
Sider85–88
ISBN (Trykt)978-1-4503-7957-1
ISBN (Elektronisk)9781450379571
DOI
StatusUdgivet - 2020
Begivenhed IEEE/ACM: International Conference on Automation of Software Test - Seoul, Sydkorea
Varighed: 1 okt. 202031 okt. 2020
Konferencens nummer: 1st

Konference

Konference IEEE/ACM: International Conference on Automation of Software Test
Nummer1st
LandSydkorea
BySeoul
Periode01/10/202031/10/2020

Citationsformater