Hauptmenü öffnen
Forschungsportal |
Über das Portal
Publikationen
Projekte
Vorträge
Preisverleihungen
Promotionen
Habilitationen
Personen
Einrichtungen
DE
|
EN
Falsification of Java Assertions Using Automatic Test-Case Generators
Caballero R, Montenegro M, Kuchen H, von Hof V
Forschungsartikel (Zeitschrift)
| Peer reviewed
Details zur Publikation
Jahrgang / Bandnr. / Volume:
2016
Ausgabe / Heftnr. / Issue:
9
Seitenbereich:
177-187
Status:
Veröffentlicht
Veröffentlichungsjahr:
2016
Sprache, in der die Publikation verfasst ist:
Englisch
Autor*innen der Universität Münster
Kuchen
,
Herbert
Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen)
(PI)
von Hof
,
Vincent
Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen)
(PI)
Projekte, aus denen die Publikation entstanden ist
Der Münster-Generator für Glass-box-Testfälle
(Muggl)
Laufzeit:
seit
01.11.2003
Art des Projekts: Eigenmittelprojekt