The first open-source AI-driven tool for automatically generating system-level test cases (also known as fuzzing) for web/enterprise applications. Currently targeting whitebox and blackbox testing of Web APIs, like REST, GraphQL and RPC (e.g., gRPC and Thrift).
GNU Lesser General Public License v3.0
454
stars
77
forks
source link
Solver: add support for constraints from query #1012
Add support to generate constraints in smtlib from the where of a select query