Antithesis

Antithesis is an autonomous software testing company that uses deterministic, massively parallel simulation to exhaustively find bugs in complex systems before release.