StrSolve

swMATH21857MaRDI QIDQ33657FDOQ33657

Author name not available (Why is that?)

Cited In (6)

• 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
• Automata-based symbolic string analysis for vulnerability detection
• Dashed strings for string constraint solving

This page was built for software: StrSolve