Katalog der Deutschen Nationalbibliothek

Neuigkeiten Aufgrund einer technischen Störung ist derzeit kein Zugriff auf unsere Online-Ressourcen und Inhaltsverzeichnisse möglich. // Due to a technical malfunction, access to our online resources and tables of contents is currently unavailable.
 
Neuigkeiten Bitte beachten Sie unsere geänderten Servicezeiten ab dem 1. November 2024.
 
Neuigkeiten Die Lesesäle der Deutschen Nationalbibliothek Leipzig öffnen am Mittwoch, den 11.12. wegen einer Personalversammlung erst ab 13 Uhr // The reading rooms of the German National Library in Leipzig will only open at 13:00 on Wednesday 11 December due to a staff assembly
 
 
 


Ergebnis der Suche nach: auRef=1258885921
im Bestand: Gesamter Bestand

1 - 4 von 4
<< < > >>


Online Ressourcen 1 Cooperative verifier-based testing with CoVeriTest
Beyer, Dirk. - Darmstadt : Universitäts- und Landesbibliothek, 2024 		Online Ressource
Online Ressourcen 2 CoVeriTest: interleaving value and predicate analysis for test-case generation
Jakobs, Marie-Christine. - Darmstadt : Universitäts- und Landesbibliothek, 2024 		Online Ressource
Artikel 3 Cooperative verifier-based testing with CoVeriTest
Enthalten in International journal on software tools for technology transfer 25.4.2021: 1-21 		Online Ressource
Artikel 4 CoVeriTest: interleaving value and predicate analysis for test-case generation
Enthalten in International journal on software tools for technology transfer 6.7.2020: 1-5 		Online Ressource


1 - 4 von 4
<< < > >>




Materialarten

Alle Materialarten

Standorte

Alle Standorte

Aktionen

Aktionen


E-Mail-IconAdministration