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