A Program Transformation for Converting Java Assertions into Control-flow Statements

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

Publikationstyp

Arbeitspapier / Working Paper

Begutachtet

Nein

Publikationsstatus

Veröffentlicht

Jahr

2016

Herausgeber

Becker J, Backhaus K, Dugas M, Hellingrath B, Hoeren T, Klein S, Kuchen H, Trautmann H, Vossen G

Band

25

Reihe

ERCIS Working Papers

Sprache

Englisch

ISSN

1614-7448