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

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

Cite as

Caballero, R., Von, H. V., Montenegro, M., & Kuchen, H. (2016). A Program Transformation for Converting Java Assertions into Control-flow Statements. In Becker, J., Backhaus, K., Dugas, M., Hellingrath, B., Hoeren, T., Klein, S., Kuchen, H., Trautmann, H., & Vossen, G. (Eds.), ERCIS Working Papers: Vol. 25.

Details

Publication type
Working paper

Peer reviewed
No

Publication status
Published

Year
2016

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