Automatic Test-Case Generation with CoVeriTest (Extended Abstract)
| Title | Automatic Test-Case Generation with CoVeriTest (Extended Abstract) |
| Publication Type | Konferenzartikel (erschienen) |
| Year of Publication | 2022 |
| Authors | Jakobs, M-C |
| Conference Name | Proceedings of the 16th International Conference on Tests and Proofs (TAP) |
| Pagination | 3-8 |
| Publisher | Springer |
| DOI | 10.1007/978-3-031-09827-7_1 |
Undefined