Stranger
From MaRDI portal
Software:21145
swMATH9152MaRDI QIDQ21145FDOQ21145
Author name not available (Why is that?)
Cited In (19)
- On equations and first-order theory of one-relator monoids
- MiniZinc with strings
- An SMT solver for regular expressions and linear arithmetic over string length
- Context-oriented web application protection model
- An Evaluation of Automata Algorithms for String Analysis
- Chain-Free String Constraints
- Symbolic Automata: The Toolkit
- The satisfiability of word equations: decidable and undecidable theories
- String theories involving regular membership predicates: from practice to theory and back
- A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings
- Towards more efficient methods for solving regular-expression heavy string constraints
- Simple linear string constraints
- Z3str2: an efficient solver for strings, regular expressions, and length constraints
- Automata-based symbolic string analysis for vulnerability detection
- Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions
- Dashed strings for string constraint solving
- An efficient SMT solver for string constraints
- Relational String Verification Using Multi-track Automata
- A decision procedure for string to code point conversion
This page was built for software: Stranger
