TU Darmstadt / ULB / TUbiblio

Automatic Test-Case Generation with CoVeriTest (Extended Abstract)

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 Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen