PV2 StringFuzzgenerates and transforms SMT-LIB instances

Problem instance generator and fuzzer for SMT string solvers

Application domain/field

Type of tool

Generator/transformer for string constraint problems

Expected input

Depends on which tool is used.

Format:

Most things are passed as an argument when calling the tool.

Expected output

Depends on the tool that is used. stringfuzzg, stringfuzzx and stringmerge will output an SMT-LIB instance. stringstats will output some properties of a given SMT-LIB instance.

Internals

Consists of the following tools: Uses SMT-LIB.

Comments

License: MIT

Links

Last commit date

11 June 2018

Related papers

https://doi.org/10.1007/978-3-319-96142-2_6 (CAV '18)

Last publication date

18 July 2018

Related tools

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.