Automatic Falsification of Java Assertions

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

Research article in edited proceedings (conference) | Peer reviewed

Details about the publication

StatusPublished
Release year2015
Language in which the publication is writtenEnglish
ConferenceVALID 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