Crossmark

Six years later: testing vs. model checking

Crossref DOI link: https://doi.org/10.1007/s10009-024-00769-8

Published Online: 2025-01-16

Published Print: 2024-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Beyer, Dirk https://orcid.org/0000-0003-4832-7662
Lemberger, Thomas https://orcid.org/0000-0003-0291-815X
Funding

Funding for this research was provided by:

Ludwig-Maximilians-Universität München
License Information

Text and Data Mining valid from 2024-12-01

Version of Record valid from 2025-01-16
More Information

Article History

Accepted: 7 November 2024

First Online: 16 January 2025