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).

Monorepo containing the framework and various core parts of the SynTest ecosystem

Scripts for ARCH-COMP falsification track with FalCAuN

The PYthoN General UnIt Test geNerator is a test-generation tool for Python

A tool to generate synthetic tests for the Solidity platform

A tool to generate synthetic tests for the JavaScript and TypeScript languages

Provides a benchmarking environment for testing SynTest-JavaScript

simple automatic search-based test-case generation based on functional specification of a simple matching engine

Provides a benchmarking environment for testing SynTest-Solidity

🎓💻University of Tehran Advanced Software Testing Course Projects - Spring 2023

Tool for effective and efficient detection of API misuses.

Search-Based Fairness Testing

Defect prediction guided search-based software testing (SBST-DPG)

A test data generation tool for python functions

Search-based software testing of a pedestrian detection system using ESI Pro-SiVIC