StrSolve
From MaRDI portal
Cited in
(21)- ZaligVinder
- Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings
- Dashed strings for string constraint solving
- Stranger
- HAMPI
- Automata-based symbolic string analysis for vulnerability detection
- Constraint programming for dynamic symbolic execution of JavaScript
- dk.brics.automaton
- MiniZinc with strings
- Symbolic automata
- Oscar.cbls
- A complete refinement procedure for regular separability of context-free languages
- Z3-str
- S3
- WAPTEC
- iZplus
- PASS
- Picat-SAT
- Z3str3
- SymJS
- ExpoSE
This page was built for software: StrSolve
