Automatic Falsification of Java Assertions

Caballero R, Montenegro M, Kuchen H, von Hof V

Forschungsartikel in Sammelband (Konferenz) | Peer reviewed

Details zur Publikation

Status: Veröffentlicht

Veröffentlichungsjahr: 2015

Sprache, in der die Publikation verfasst ist: Englisch

Konferenz: VALID 2015: The Seventh International Conference on Advances in System Testing and Validation Lifecycle, Barcelona, Spain

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)

Best Paper Award for the Seventh International Conference on Advances in System Testing and Validation Lifecycle
Verliehen von: IARIA
Verliehen an: Kuchen, Herbert; Caballero, Rafael, von Hof, Vincent; Montenegro, Manuel
Bekannt gegeben am: 20.11.2015 | Verleihung erfolgte am: 15.11.2015
Art der Preisverleihung: Preis für beste Veröffentlichung