swMATH21857MaRDI QIDQ33657FDOQ33657
Author name not available (Why is that?)
Official website: https://link.springer.com/article/10.1007/s10515-012-0111-x
Cited In (21)
- MiniZinc with strings
- A complete refinement procedure for regular separability of context-free languages
- 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
