Cited in
(39)- On equations and first-order theory of one-relator monoids
- MiniZinc with strings
- Constraint programming for dynamic symbolic execution of JavaScript
- 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
- JavaScript
- Stranger
- HAMPI
- Qex
- Rex
- Oscar.cbls
- PASS
- S3
- Z3-str
- iZplus
- StrSolve
- WAPTEC
- ModelPlex
- Jalangi
- JBMC
- ExpoSE
- JSAI
- Phantm
- SymJS
- Z3str3
- Z3str2
- Bex
- Saner
- Towards more efficient methods for solving regular-expression heavy string constraints
- Word equations in the context of string solving
- StringFuzz
- Completeness of abstract domains for string analysis of JavaScript programs
- ZaligVinder
- Chain-free string constraints
- Dashed strings for string constraint solving
- CertiStr
- A decision procedure for string to code point conversion
This page was built for software: Norn
