A program transformation for converting Java assertions into control-flow statements
Year of publication: |
2016
|
---|---|
Authors: | Caballero, Rafael ; von Hof, Vincent ; Montenegro, Manuel ; Kuchen, Herbert |
Publisher: |
Münster : Westfälische Wilhelms-Universität Münster, European Research Center for Information Systems (ERCIS) |
Subject: | assertions | conditions | test-cases | Java | test-case generation |
Series: | ERCIS Working Paper ; 25 |
---|---|
Type of publication: | Book / Working Paper |
Type of publication (narrower categories): | Working Paper |
Language: | English |
Other identifiers: | 881585211 [GVK] hdl:10419/156083 [Handle] RePEc:zbw:ercisw:25 [RePEc] |
Source: |
-
A program transformation for converting Java assertions into control-flow statements
Caballero, Rafael, (2016)
-
Cream-filled cookies : an assurance in-class case
Ryan, Jo-Anne, (2016)
-
Income groups and types of employment in Germany since 1995
Krause, Peter, (2017)
- More ...
-
A program transformation for converting Java assertions into control-flow statements
Caballero, Rafael, (2016)
-
Asunción Lubiano, María, (2016)
-
Bertoluzza et al.’s metric as a basis for analyzing fuzzy data
Casals, María, (2013)
- More ...