WHartTest 是一款AI驱动的测试自动化平台，实现从需求到可执行测试用例的自动化生成与管理，帮助测试团队提升效率与覆盖率。 (WHartTest is an AI-driven test automation platform that automates the generation and management of executable test cases from requirements, helping testing teams improve efficiency and coverage.)

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

A framework for the elicitation, specification, formalization and analysis of requirements.

An Automata Learning Library Written in Python

A free, open-source Java library for automata learning algorithms

A free, open-source Java library for automata, graphs, and transition systems

GPT4Go: AI-Powered Test Case Generation for Golang 🧪

Test Case generator for competitive coding. Test case generator for competitive programming and potentially for software testing.

A tool for Model Based Testing

Simple grammar-based test case generator

Master the art and science of test case design. Here, you’ll find 🔑foundational concepts, 🚀advanced techniques, 🌍real-world examples, and 📈innovative tools to take your QA skills to the next level.

A toolkit for test case and test data creation

GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing (ISSTA‘23)

An Model Context Protocol(MCP) server that generates comprehensive API test cases (positive, negative, edge cases) from endpoint metadata, powered by AI/LLMs

Artificial Bee Colony algorithm implementation in python.

Cuckoo Search Algorithm implementation in Python

SAPIENZ^div @ SSBSE 2019: Does Diversity Improve the Test Suite Generation for Mobile Applications?

CrossASR | IEEE ICSME 2020 | Efficient Differential Testing of Automatic Speech Recognition via Text-To-Speech

Test case generator for JavaScript

LISSA: An efficient symbolic execution approach for programs manipulating complex heap-allocated data structures.