%0 Journal Article %1 journals/sttt/BeyerJ21 %A Beyer, Dirk %A Jakobs, Marie-Christine %D 2021 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 3 %P 313-333 %T Cooperative verifier-based testing with CoVeriTest. %U http://dblp.uni-trier.de/db/journals/sttt/sttt23.html#BeyerJ21 %V 23

@article{journals/sttt/BeyerJ21, added-at = {2021-08-12T00:00:00.000+0200}, author = {Beyer, Dirk and Jakobs, Marie-Christine}, biburl = {https://www.bibsonomy.org/bibtex/2b43ebaddbdabd5171d71810d8cc9ad06/dblp}, ee = {https://doi.org/10.1007/s10009-020-00587-8}, interhash = {8881c9e207541365b4dd7fab1e3e2087}, intrahash = {b43ebaddbdabd5171d71810d8cc9ad06}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 3, pages = {313-333}, timestamp = {2024-04-08T20:36:37.000+0200}, title = {Cooperative verifier-based testing with CoVeriTest.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt23.html#BeyerJ21}, volume = 23, year = 2021 }