Automatic Falsification of Java Assertions

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



Publikationstyp
Aufsatz (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