HAMPI
From MaRDI portal
Software:21843
swMATH9864MaRDI QIDQ21843FDOQ21843
Author name not available (Why is that?)
Cited In (20)
- On equations and first-order theory of one-relator monoids
- MiniZinc with strings
- Constraint programming for dynamic symbolic execution of JavaScript
- An SMT solver for regular expressions and linear arithmetic over string length
- Unbounded Model-Checking with Interpolation for Regular Language Constraints
- Chain-Free String Constraints
- Symbolic Automata: The Toolkit
- 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
- 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
- Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation
- Automatic Evaluation of Context-Free Grammars (System Description)
- Satisfiability Modulo Theories
- An efficient SMT solver for string constraints
- Data-parallel string-manipulating programs
This page was built for software: HAMPI
