WebFuzzing / EvoMaster

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
524 stars 85 forks source link

Add support for boolean in solver #1067

Closed agusaldasoro closed 2 months ago

agusaldasoro commented 2 months ago

Added the database schema and queries from https://github.com/WebFuzzing/EMB/tree/master/jdk_11_maven/cs/rest/cwa-verification-server

So, a few changes needed to be done: