---
_id: '13872'
author:
- first_name: Dirk
  full_name: Beyer, Dirk
  last_name: Beyer
- first_name: Marie-Christine
  full_name: Jakobs, Marie-Christine
  last_name: Jakobs
citation:
  ama: 'Beyer D, Jakobs M-C. CoVeriTest: Cooperative Verifier-Based Testing. In: <i>Fundamental
    Approaches to Software Engineering</i>. Cham; 2019. doi:<a href="https://doi.org/10.1007/978-3-030-16722-6_23">10.1007/978-3-030-16722-6_23</a>'
  apa: 'Beyer, D., &#38; Jakobs, M.-C. (2019). CoVeriTest: Cooperative Verifier-Based
    Testing. In <i>Fundamental Approaches to Software Engineering</i>. Cham. <a href="https://doi.org/10.1007/978-3-030-16722-6_23">https://doi.org/10.1007/978-3-030-16722-6_23</a>'
  bibtex: '@inbook{Beyer_Jakobs_2019, place={Cham}, title={CoVeriTest: Cooperative
    Verifier-Based Testing}, DOI={<a href="https://doi.org/10.1007/978-3-030-16722-6_23">10.1007/978-3-030-16722-6_23</a>},
    booktitle={Fundamental Approaches to Software Engineering}, author={Beyer, Dirk
    and Jakobs, Marie-Christine}, year={2019} }'
  chicago: 'Beyer, Dirk, and Marie-Christine Jakobs. “CoVeriTest: Cooperative Verifier-Based
    Testing.” In <i>Fundamental Approaches to Software Engineering</i>. Cham, 2019.
    <a href="https://doi.org/10.1007/978-3-030-16722-6_23">https://doi.org/10.1007/978-3-030-16722-6_23</a>.'
  ieee: 'D. Beyer and M.-C. Jakobs, “CoVeriTest: Cooperative Verifier-Based Testing,”
    in <i>Fundamental Approaches to Software Engineering</i>, Cham, 2019.'
  mla: 'Beyer, Dirk, and Marie-Christine Jakobs. “CoVeriTest: Cooperative Verifier-Based
    Testing.” <i>Fundamental Approaches to Software Engineering</i>, 2019, doi:<a
    href="https://doi.org/10.1007/978-3-030-16722-6_23">10.1007/978-3-030-16722-6_23</a>.'
  short: 'D. Beyer, M.-C. Jakobs, in: Fundamental Approaches to Software Engineering,
    Cham, 2019.'
date_created: 2019-10-16T06:39:51Z
date_updated: 2022-01-06T06:51:45Z
department:
- _id: '77'
doi: 10.1007/978-3-030-16722-6_23
language:
- iso: eng
place: Cham
project:
- _id: '85'
  name: Kooperative Softwareverifikation
publication: Fundamental Approaches to Software Engineering
publication_identifier:
  isbn:
  - '9783030167219'
  - '9783030167226'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
status: public
title: 'CoVeriTest: Cooperative Verifier-Based Testing'
type: book_chapter
user_id: '44413'
year: '2019'
...