Automatic Falsification of Java Assertions

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

Publication type

Research article in proceedings (conference)

Peer reviewed

Yes

Publication status

Published

Year

2015

Conference

VALID 2015: The Seventh International Conference on Advances in System Testing and Validation Lifecycle

Venue

Barcelona, Spain

Language

English