| ||||
| ||||
![]() Title:StringFuzz: A Fuzzer for String Solvers Conference:CAV2018 Tags:fuzzer, smt and strings Abstract: In this paper, we introduce StringFuzz: a modular SMT- LIB problem instance transformer and generator for string solvers. We supply a repository of instances generated by StringFuzz in SMT-LIB 2.0/2.5 format. We systematically compare Z3str3, CVC4, Z3str2, and Norn on groups of such instances, and identify those that are particularly challenging for some solvers. We briefly explain our observations and show how StringFuzz helped discover causes of performance degradations in Z3str3. StringFuzz: A Fuzzer for String Solvers ![]() StringFuzz: A Fuzzer for String Solvers | ||||
Copyright © 2002 – 2025 EasyChair |