Automatic Falsification of Java Assertions

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

Zitieren als

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

Publikationstyp
Forschungsartikel in Sammelband (Konferenz)

Begutachtet
Ja

Publikationsstatus
Veröffentlicht

Jahr
2015

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

Konferenzort
Barcelona, Spain

Sprache
Englisch