Tartarus is mentioned in the original proposal, as another project which focus is sharing testing infrastructure among distinct node implementation: https://github.com/cardano-scaling/tartarus
In turn, Tartarus depends on the Antithesis platform: https://antithesis.com/