swMATH21853MaRDI QIDQ33653FDOQ33653
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-21690-4_29
Cited In (39)
- On equations and first-order theory of one-relator monoids
- MiniZinc with strings
- Constraint programming for dynamic symbolic execution of JavaScript
- StringFuzz
- Completeness of string analysis for dynamic languages
- Design and implementation of bounded-length sequence variables
- The satisfiability of word equations: decidable and undecidable theories
- String theories involving regular membership predicates: from practice to theory and back
- Towards more efficient methods for solving regular-expression heavy string constraints
- JavaScript
- Word equations in the context of string solving
- Stranger
- HAMPI
- Qex
- Rex
- Oscar.cbls
- PASS
- S3
- Z3-str
- iZplus
- StrSolve
- WAPTEC
- ModelPlex
- Jalangi
- JBMC
- ExpoSE
- JSAI
- Phantm
- SymJS
- Z3str3
- Z3str2
- Bex
- Saner
- Completeness of abstract domains for string analysis of JavaScript programs
- ZaligVinder
- CertiStr
- Chain-free string constraints
- Dashed strings for string constraint solving
- A decision procedure for string to code point conversion
This page was built for software: Norn
