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

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

Publication type

Working paper

Peer reviewed

No

Publication status

Published

Year

2016

Journal

Working Papers of the European Research Center for Information Systems

Editor

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

Volume

25

Title of series

ERCIS Working Papers

Language

English

ISSN

1614-7448