Solving String Constraints with Approximate Parikh Image
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F19%3APU135514" target="_blank" >RIV/00216305:26230/19:PU135514 - isvavai.cz</a>
Result on the web
<a href="https://www.fit.vut.cz/research/publication/12135/" target="_blank" >https://www.fit.vut.cz/research/publication/12135/</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-030-45093-9_59" target="_blank" >10.1007/978-3-030-45093-9_59</a>
Alternative languages
Result language
angličtina
Original language name
Solving String Constraints with Approximate Parikh Image
Original language description
In this paper, we propose a refined version of the Parikh image abstraction of finite automata to resolve string length constraints. We integrate this abstraction into the string solver SLOTH, where on top of handling length constraints, our abstraction is also used to speed-up solving other types of constraints. The experimental results show that our extension of SLOTH has good results on simple benchmarks as well as on complex benchmarks that are real-word combinations of transducer and concatenation constraints.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GA17-12465S" target="_blank" >GA17-12465S: Verification and Bug Hunting for Advanced Software</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of EUROCAST'19
ISBN
978-3-030-45092-2
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
1-8
Publisher name
Springer International Publishing
Place of publication
Heidelberg
Event location
Las Palmas de Gran Canaria, Canary Islands
Event date
Feb 17, 2019
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—