Norn
From MaRDI portal
Cited in
(39)- StringFuzz
- ZaligVinder
- The satisfiability of word equations: decidable and undecidable theories
- JavaScript
- Design and implementation of bounded-length sequence variables
- Dashed strings for string constraint solving
- On equations and first-order theory of one-relator monoids
- Completeness of string analysis for dynamic languages
- A decision procedure for string to code point conversion
- Stranger
- String theories involving regular membership predicates: from practice to theory and back
- Word equations in the context of string solving
- HAMPI
- Qex
- Completeness of abstract domains for string analysis of JavaScript programs
- Constraint programming for dynamic symbolic execution of JavaScript
- Rex
- MiniZinc with strings
- Oscar.cbls
- Towards more efficient methods for solving regular-expression heavy string constraints
- Z3-str
- S3
- Chain-free string constraints
- WAPTEC
- iZplus
- StrSolve
- PASS
- ModelPlex
- Jalangi
- JBMC
- Z3str3
- Z3str2
- JSAI
- SymJS
- ExpoSE
- Phantm
- Bex
- Saner
- CertiStr
This page was built for software: Norn
