Jakobs, Marie-Christine (2022)
Automatic Test-Case Generation with CoVeriTest (Extended Abstract).
16th International Conference on Tests and Proofs. Nantes, France (05.07.2022-05.07.2022)
doi: 10.1007/978-3-031-09827-7_1
Konferenzveröffentlichung, Bibliographie
Typ des Eintrags: | Konferenzveröffentlichung |
---|---|
Erschienen: | 2022 |
Autor(en): | Jakobs, Marie-Christine |
Art des Eintrags: | Bibliographie |
Titel: | Automatic Test-Case Generation with CoVeriTest (Extended Abstract) |
Sprache: | Englisch |
Publikationsjahr: | 22 Juni 2022 |
Verlag: | Springer |
Buchtitel: | Tests and Proofs |
Reihe: | Lecture Notes in Computer Science |
Band einer Reihe: | 13361 |
Veranstaltungstitel: | 16th International Conference on Tests and Proofs |
Veranstaltungsort: | Nantes, France |
Veranstaltungsdatum: | 05.07.2022-05.07.2022 |
DOI: | 10.1007/978-3-031-09827-7_1 |
Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Semantik und Verifikation paralleler Systeme |
Hinterlegungsdatum: | 29 Jun 2022 06:03 |
Letzte Änderung: | 29 Jun 2022 06:03 |
PPN: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
Frage zum Eintrag |
Optionen (nur für Redakteure)
Redaktionelle Details anzeigen |