Browsing Engineering (Faculty of) by Author "Blotsky, Dmitry"
Now showing items 1-1 of 1
-
StringFuzz: A Fuzzer for String SMT Solvers
Blotsky, Dmitry (University of Waterloo, 2018-08-10)We introduce StringFuzz, a software tool for automatically testing string SMT solvers. String SMT solvers are specialised software tools for solving the Satisfiability Modulo Theories (SMT) problem with string contraints, ...