Here are some case studies that document end user experiences using Antithesis: https://www.antithesis.com/solutions/case_studies/

Here’s a blog post from CockroachDB that discusses their use of Antithesis, including some of the challenges and “rough edges”: https://www.cockroachlabs.com/blog/demonic-nondeterminism/