FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3043772569> ?p ?o ?g. }

• W3043772569 abstract "Strings are widely used in programs, especially in web applications. Integer data type occurs naturally in string-manipulating programs, and is frequently used to refer to lengths of, or positions in, strings. Analysis and testing of string-manipulating programs can be formulated as the path feasibility problem: given a symbolic execution path, does there exist an assignment to the inputs that yields a concrete execution that realizes this path? Such a problem can naturally be reformulated as a string constraint solving problem. Although state-of-the-art string constraint solvers usually provide support for both string and integer data types, they mainly resort to heuristics without completeness guarantees. In this paper, we propose a decision procedure for a class of string-manipulating programs which includes not only a wide range of string operations such as concatenation, replaceAll, reverse, and finite transducers, but also those involving the integer data-type such as length, indexof, and substring. To the best of our knowledge, this represents one of the most expressive string constraint languages that is currently known to be decidable. Our decision procedure is based on a variant of cost register automata. We implement the decision procedure, giving rise to a new solver OSTRICH+. We evaluate the performance of OSTRICH+ on a wide range of existing and new benchmarks. The experimental results show that OSTRICH+ is the first string decision procedure capable of tackling finite transducers and integer constraints, whilst its overall performance is comparable with the state-of-the-art string constraint solvers." @default.
• W3043772569 created "2020-07-23" @default.
• W3043772569 creator A5000783588 @default.
• W3043772569 creator A5022025835 @default.
• W3043772569 creator A5030747944 @default.
• W3043772569 creator A5034129725 @default.
• W3043772569 creator A5039615242 @default.
• W3043772569 creator A5071202300 @default.
• W3043772569 creator A5083664380 @default.
• W3043772569 date "2020-07-14" @default.
• W3043772569 modified "2023-09-26" @default.
• W3043772569 title "A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type" @default.
• W3043772569 cites W1480909796 @default.
• W3043772569 cites W1555798330 @default.
• W3043772569 cites W1810306334 @default.
• W3043772569 cites W1917555234 @default.
• W3043772569 cites W1982132104 @default.
• W3043772569 cites W2017035494 @default.
• W3043772569 cites W2023887108 @default.
• W3043772569 cites W2081806129 @default.
• W3043772569 cites W2094568767 @default.
• W3043772569 cites W2107147876 @default.
• W3043772569 cites W2117402063 @default.
• W3043772569 cites W2166461033 @default.
• W3043772569 cites W2169092431 @default.
• W3043772569 cites W2295791966 @default.
• W3043772569 cites W233122475 @default.
• W3043772569 cites W2482729551 @default.
• W3043772569 cites W2501292226 @default.
• W3043772569 cites W254881558 @default.
• W3043772569 cites W2736027423 @default.
• W3043772569 cites W2767683523 @default.
• W3043772569 cites W2888545849 @default.
• W3043772569 cites W2899573209 @default.
• W3043772569 cites W2962726827 @default.
• W3043772569 cites W2963054422 @default.
• W3043772569 cites W2460604993 @default.
• W3043772569 doi "https://doi.org/10.48550/arxiv.2007.06913" @default.
• W3043772569 hasPublicationYear "2020" @default.
• W3043772569 type Work @default.
• W3043772569 sameAs 3043772569 @default.
• W3043772569 citedByCount "0" @default.
• W3043772569 crossrefType "posted-content" @default.
• W3043772569 hasAuthorship W3043772569A5000783588 @default.
• W3043772569 hasAuthorship W3043772569A5022025835 @default.
• W3043772569 hasAuthorship W3043772569A5030747944 @default.
• W3043772569 hasAuthorship W3043772569A5034129725 @default.
• W3043772569 hasAuthorship W3043772569A5039615242 @default.
• W3043772569 hasAuthorship W3043772569A5071202300 @default.
• W3043772569 hasAuthorship W3043772569A5083664380 @default.
• W3043772569 hasBestOaLocation W30437725691 @default.
• W3043772569 hasConcept C111919701 @default.
• W3043772569 hasConcept C11413529 @default.
• W3043772569 hasConcept C115988155 @default.
• W3043772569 hasConcept C127705205 @default.
• W3043772569 hasConcept C153269930 @default.
• W3043772569 hasConcept C157486923 @default.
• W3043772569 hasConcept C162319229 @default.
• W3043772569 hasConcept C182407805 @default.
• W3043772569 hasConcept C199360897 @default.
• W3043772569 hasConcept C2777735758 @default.
• W3043772569 hasConcept C2777904410 @default.
• W3043772569 hasConcept C2779639559 @default.
• W3043772569 hasConcept C33923547 @default.
• W3043772569 hasConcept C37914503 @default.
• W3043772569 hasConcept C41008148 @default.
• W3043772569 hasConcept C56086750 @default.
• W3043772569 hasConcept C80444323 @default.
• W3043772569 hasConcept C97137487 @default.
• W3043772569 hasConceptScore W3043772569C111919701 @default.
• W3043772569 hasConceptScore W3043772569C11413529 @default.
• W3043772569 hasConceptScore W3043772569C115988155 @default.
• W3043772569 hasConceptScore W3043772569C127705205 @default.
• W3043772569 hasConceptScore W3043772569C153269930 @default.
• W3043772569 hasConceptScore W3043772569C157486923 @default.
• W3043772569 hasConceptScore W3043772569C162319229 @default.
• W3043772569 hasConceptScore W3043772569C182407805 @default.
• W3043772569 hasConceptScore W3043772569C199360897 @default.
• W3043772569 hasConceptScore W3043772569C2777735758 @default.
• W3043772569 hasConceptScore W3043772569C2777904410 @default.
• W3043772569 hasConceptScore W3043772569C2779639559 @default.
• W3043772569 hasConceptScore W3043772569C33923547 @default.
• W3043772569 hasConceptScore W3043772569C37914503 @default.
• W3043772569 hasConceptScore W3043772569C41008148 @default.
• W3043772569 hasConceptScore W3043772569C56086750 @default.
• W3043772569 hasConceptScore W3043772569C80444323 @default.
• W3043772569 hasConceptScore W3043772569C97137487 @default.
• W3043772569 hasLocation W30437725691 @default.
• W3043772569 hasOpenAccess W3043772569 @default.
• W3043772569 hasPrimaryLocation W30437725691 @default.
• W3043772569 hasRelatedWork W1571340928 @default.
• W3043772569 hasRelatedWork W2020970220 @default.
• W3043772569 hasRelatedWork W2052491240 @default.
• W3043772569 hasRelatedWork W2084844607 @default.
• W3043772569 hasRelatedWork W2129194692 @default.
• W3043772569 hasRelatedWork W2166482260 @default.
• W3043772569 hasRelatedWork W2899573209 @default.
• W3043772569 hasRelatedWork W2952172248 @default.
• W3043772569 hasRelatedWork W3043772569 @default.
• W3043772569 hasRelatedWork W4301443603 @default.

• next