The Power of String Solving: Simplicity of Comparison

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

doi:10.1145/3387903.3389317

The Power of String Solving: Simplicity of Comparison

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

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

10 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	AST '20: Proceedings of the IEEE/ACM 1st International Conference on Automation of Software Test
Number of pages	4
Publisher	Association for Computing Machinery (ACM)
Publication date	2020
Pages	85–88
ISBN (Print)	978-1-4503-7957-1
ISBN (Electronic)	9781450379571
DOIs	https://doi.org/10.1145/3387903.3389317
Publication status	Published - 2020
Event	IEEE/ACM: International Conference on Automation of Software Test - Seoul, Korea, Republic of Duration: 1 Oct 2020 → 31 Oct 2020 Conference number: 1st

Conference

Conference	IEEE/ACM: International Conference on Automation of Software Test
Number	1st
Country/Territory	Korea, Republic of
City	Seoul
Period	01/10/2020 → 31/10/2020

Access to Document

10.1145/3387903.3389317

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{030535f832ff4167be71513c44f0266a,

title = "The Power of String Solving: Simplicity of Comparison",

abstract = "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.",

author = "Mitja Kulczynski and Florin Manea and Dirk Nowotka and Poulsen, {Danny B{\o}gsted}",

year = "2020",

doi = "10.1145/3387903.3389317",

language = "English",

isbn = "978-1-4503-7957-1",

pages = "85–88",

booktitle = "AST '20: Proceedings of the IEEE/ACM 1st International Conference on Automation of Software Test",

publisher = "Association for Computing Machinery (ACM)",

address = "United States",

note = " IEEE/ACM: International Conference on Automation of Software Test ; Conference date: 01-10-2020 Through 31-10-2020",

}

Kulczynski, M, Manea, F, Nowotka, D & Poulsen, DB 2020, The Power of String Solving: Simplicity of Comparison. in AST '20: Proceedings of the IEEE/ACM 1st International Conference on Automation of Software Test. Association for Computing Machinery (ACM), pp. 85–88, IEEE/ACM: International Conference on Automation of Software Test, Seoul, Korea, Republic of, 01/10/2020. https://doi.org/10.1145/3387903.3389317

The Power of String Solving: Simplicity of Comparison. / Kulczynski, Mitja ; Manea, Florin; Nowotka, Dirk et al.
AST '20: Proceedings of the IEEE/ACM 1st International Conference on Automation of Software Test. Association for Computing Machinery (ACM), 2020. p. 85–88.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - The Power of String Solving

T2 - IEEE/ACM: International Conference on Automation of Software Test

AU - Kulczynski, Mitja

AU - Manea, Florin

AU - Nowotka, Dirk

AU - Poulsen, Danny Bøgsted

N1 - Conference code: 1st

PY - 2020

Y1 - 2020

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85093515578&partnerID=8YFLogxK

U2 - 10.1145/3387903.3389317

DO - 10.1145/3387903.3389317

M3 - Article in proceeding

SN - 978-1-4503-7957-1

SP - 85

EP - 88

BT - AST '20: Proceedings of the IEEE/ACM 1st International Conference on Automation of Software Test

PB - Association for Computing Machinery (ACM)

Y2 - 1 October 2020 through 31 October 2020

ER -

The Power of String Solving: Simplicity of Comparison

Abstract

Conference

Access to Document

AUB Link

Other files and links

Cite this