swMATH9152MaRDI QIDQ21145FDOQ21145
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-642-12002-2_13
Cited In (44)
- On equations and first-order theory of one-relator monoids
- MiniZinc with strings
- An SMT solver for regular expressions and linear arithmetic over string length
- Context-oriented web application protection model
- An Evaluation of Automata Algorithms for String Analysis
- StringFuzz
- A decision procedure for regular membership and length constraints over unbounded strings
- The satisfiability of word equations: decidable and undecidable theories
- String theories involving regular membership predicates: from practice to theory and back
- Static detection of DoS vulnerabilities in programs that use regular expressions
- Towards more efficient methods for solving regular-expression heavy string constraints
- Simple linear string constraints
- HAMPI
- Qex
- dk.brics.automaton
- Rex
- Kaluza
- Oscar.cbls
- Symbolic automata
- PASS
- JST
- S3
- Z3-str
- iZplus
- Norn
- Picat-SAT
- StrSolve
- WAPTEC
- Merlin
- ExpoSE
- SymJS
- Z3str3
- Z3str2
- PQL
- TAJ
- Saner
- Relational string verification using multi-track automata
- Z3str2: an efficient solver for strings, regular expressions, and length constraints
- Automata-based symbolic string analysis for vulnerability detection
- Chain-free string constraints
- Dashed strings for string constraint solving
- Symbolic automata: the toolkit
- An efficient SMT solver for string constraints
- A decision procedure for string to code point conversion
This page was built for software: Stranger