Monkey testing library for web apps and Node.js
-
Updated
Nov 20, 2020 - JavaScript
Add a description, image, and links to the fuzz-testing topic page so that developers can more easily learn about it.
To associate your repository with the fuzz-testing topic, visit your repo's landing page and select "manage topics."
Today, many string methods cause symbolic strings to be "materialized" (the symbolic string becomes a concrete string and then gets handed to the native string implementation).
For some of these operations, this is likely the best we can do, but others may be implementable with the SMT solver directly. This is a list of those methods, and we'll check them off when we've decided that we have th