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

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)