StringFuzz
From MaRDI portal
Software:1349735
swMATH44209MaRDI QIDQ1349735FDOQ1349735
Author name not available (Why is that?)
Source code repository: https://github.com/dblotsky/stringfuzz
Cited In (6)
- An SMT solver for regular expressions and linear arithmetic over string length
- String theories involving regular membership predicates: from practice to theory and back
- Towards more efficient methods for solving regular-expression heavy string constraints
- Word equations in the context of string solving
- Syntax-guided rewrite rule enumeration for SMT solvers
- Dashed strings for string constraint solving
This page was built for software: StringFuzz
