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