International Academy, Research, and Industry Association

Best Paper Award

Automatic Falsification of Java AssertionsBy

Rafael Caballero, Manuel Montenegro, Herbert Kuchen, Vincent Von Hof

Presented during VALID 2015, The Seventh International Conference on Advances in System Testing and ValidationLifecycle, held in Barcelona, Spain - November 15 - 20, 2015