Automatic Falsification of Java Assertions
Caballero R, Montenegro M, Kuchen H, von Hof V
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Status: Published
Release year: 2015
Language in which the publication is written: English
Conference: VALID 2015: The Seventh International Conference on Advances in System Testing and Validation Lifecycle, Barcelona, Spain
Authors from the University of Münster
| Kuchen, Herbert | |
| von Hof, Vincent |
Distinctions received for the publication
| Best Paper Award for the Seventh International Conference on Advances in System Testing and Validation Lifecycle Awarded by: IARIA Award given to: Kuchen, Herbert; Caballero, Rafael, von Hof, Vincent; Montenegro, Manuel Announced at: 20/11/2015 | Date of awarding: 15/11/2015 Type of distinction: Best publication award |