invariant-detection

Beet is a Daikon front-end and one of the core components of AGORA (Automated Generation of test Oracles for REST APIs), the first approach for the automated generation of test oracles for REST APIs in a black-box context.

GenPark AI Agent Skill - Synthesizes property-based and counterfactual unit test inputs (fuzzing boundary values, null states, edge cases) to reproduce runtime tool bugs.

GenPark AI Agent Skill - Parses Python stack traces into structured traceback frames, calculates Tarantula/Ochiai line suspiciousness scores, and isolates root-cause bug locations.

GenPark AI Agent Skill - Automated program repair (APR) engine mutating Python ASTs, applying template-driven bug fixes, and validating candidate patches.

GenPark AI Agent Skill - Zeller's Delta Debugging (ddmin) algorithm minimizing failing code snippets, complex payloads, and config files to minimal reproducible examples (MRE).

GenPark AI Agent Skill - Parses Python stack traces into structured traceback frames, calculates Tarantula/Ochiai line suspiciousness scores, and isolates root-cause bug locations.

GenPark AI Agent Skill - Synthesizes property-based and counterfactual unit test inputs (fuzzing boundary values, null states, edge cases) to reproduce runtime tool bugs.

GenPark AI Agent Skill - Dynamically synthesizes and evaluates runtime assertions, pre/post-conditions, and state invariants to detect data corruption before crashes occur.

GenPark AI Agent Skill - Zeller's Delta Debugging (ddmin) algorithm minimizing failing code snippets, complex payloads, and config files to minimal reproducible examples (MRE).

GenPark AI Agent Skill - Automated program repair (APR) engine mutating Python ASTs, applying template-driven bug fixes, and validating candidate patches.

GenPark AI Agent Skill - Dynamically synthesizes and evaluates runtime assertions, pre/post-conditions, and state invariants to detect data corruption before crashes occur.

PostmanAssertify is a tool for the automated generation of test assertions for REST API testing. PostmanAssertify is a complementary component of AGORA+, the first approach for the automated generation of test oracles for REST APIs in a black-box context.

You have thousands of agent traces and no evals. Mines production traces for tool-call invariants, proposes them as pytest assertions with evidence counts, and gates CI on the ones a human approved. Deterministic: no LLM anywhere in the mining path. OpenTelemetry GenAI.