Automatic Falsification of Java Assertions

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

Cite as

Details

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