Automatic Falsification of Java Assertions

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



Publication type
Conference Paper

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