Antithesis

Antithesis is an autonomous software testing and verification platform that runs a user's complete system in a deterministic simulation environment, injects faults and adverse inputs, finds hard-to-anticipate bugs, and provides reproducible debugging artifacts before production deployment.