Automatic Falsification of Java Assertions

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

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