Cooperative Verifier-Based Testing with CoVeriTest, paper in STTT, just got published.