Antithesis

Antithesis, founded in 2018 by the team behind FoundationDB, builds a deterministic, massively parallel simulation testing platform that explores software behaviour exhaustively and reproduces every bug it finds.