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

Fachzeitschrift

Working Papers of the European Research Center for Information Systems

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