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
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