Beyer, Dirk, and Marie-Christine Jakobs. “CoVeriTest: Cooperative Verifier-Based Testing.”https://doi.org/10.1007/978-3-030-16722-6_23__In Fundamental Approaches to Software Engineering. Cham, 2019.https://doi.org/10.1007/978-3-030-16722-6_23 .