Automatic Falsification of Java Assertions

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

Cite as

Caballero, R., Montenegro, M., Kuchen, H., & von Hof, V. (2015). Automatic Falsification of Java Assertions. In Proceedings of the VALID 2015: The Seventh International Conference on Advances in System Testing and Validation Lifecycle, Barcelona, Spain.

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