StringFuzz

swMATH44209MaRDI QIDQ1349735FDOQ1349735

Author name not available (Why is that?)

Official website: http://stringfuzz.dmitryblotsky.com/

Source code repository: https://github.com/dblotsky/stringfuzz

Cited In (15)

• An SMT solver for regular expressions and linear arithmetic over string length
• String theories involving regular membership predicates: from practice to theory and back
• OPTGEN
• Towards more efficient methods for solving regular-expression heavy string constraints
• Word equations in the context of string solving
• Stranger
• Norn
• WAPTEC
• Z3str3
• Z3str2
• Saner
• Syntax-guided rewrite rule enumeration for SMT solvers
• ZaligVinder
• CertiStr
• Dashed strings for string constraint solving

This page was built for software: StringFuzz