1
International Academy, Research, and Industry Association Best Paper Award Automatic Falsification of Java Assertions By Rafael Caballero, Manuel Montenegro, Herbert Kuchen, Vincent Von Hof Presented during VALID 2015, The Seventh International Conference on Advances in System Testing and Validation Lifecycle, held in Barcelona, Spain - November 15 - 20, 2015
