HAMPI
From MaRDI portal
Cited in
(47)- StringFuzz
- ZaligVinder
- Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings
- The satisfiability of word equations: decidable and undecidable theories
- Gecode
- Design and implementation of bounded-length sequence variables
- On equations and first-order theory of one-relator monoids
- Stranger
- Qex
- Automata-based symbolic string analysis for vulnerability detection
- Constraint programming for dynamic symbolic execution of JavaScript
- Rex
- Kaluza
- MiniZinc with strings
- Symbolic automata
- Oscar.cbls
- Towards more efficient methods for solving regular-expression heavy string constraints
- Data-parallel string-manipulating programs
- Symbolic automata: the toolkit
- A decision procedure for regular membership and length constraints over unbounded strings
- Z3-str
- JST
- S3
- Satisfiability modulo theories
- Chain-free string constraints
- Norn
- WAPTEC
- iZplus
- StrSolve
- PASS
- Jalangi
- JBMC
- Z3str3
- Z3str2
- SymJS
- ExpoSE
- LRinv
- Simple linear string constraints
- Automatic evaluation of context-free grammars (system description)
- An efficient SMT solver for string constraints
- Z3str2: an efficient solver for strings, regular expressions, and length constraints
- Unbounded model-checking with interpolation for regular language constraints
- Bex
- Saner
- CertiStr
- Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation
- An SMT solver for regular expressions and linear arithmetic over string length
This page was built for software: HAMPI
