Repository Index

A framework for distributed systems verification, with fault injection

JVM version of Pact. Enables consumer driven contract testing, providing a mock service and DSL for the consumer project, and interaction playback and verification for the service provider project.

• pact
• consumer-driven-contracts
• contract-testing
• hacktoberfest

Concuerror is a stateless model checking tool for Erlang programs.

• concuerror
• erlang
• systematic-testing
• testing

The Scenario Architect provides a lightweight graphical user interface that allows a straightforward realization and manipulation of concrete driving testing scenarios. Exemplary usecases are the validation of an online verification framework or training of an prediction algorithm.

• safety
• scenario

Catch silent failures in agent workflows by verifying real system state

• agents
• ai
• automation
• cli