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. / Volume2016
Ausgabe / Heftnr. / Issue9
Seitenbereich177-187
StatusVeröffentlicht
Veröffentlichungsjahr2016
Sprache, in der die Publikation verfasst istEnglisch

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

Laufzeit: seit 01.11.2003
Art des Projekts: Eigenmittelprojekt