| * | 2007 |
|---|
| 5 | EE | Dominik Jungo,
David Buchmann,
Ulrich Ultes-Nitsche:
Assessment of Code Quality through Classification of Unit Tests in VeriNeC.
AINA Workshops (1) 2007: 177-182 |
| 2006 |
|---|
| 4 | | Dominik Jungo,
David Buchmann,
Ulrich Ultes-Nitsche:
Testing of Semantic Properties in XML Documents.
MSVVEIS 2006: 38-46 |
| 3 | | David Buchmann,
Dominik Jungo,
Ulrich Ultes-Nitsche:
Environmental Acquisition in Mobile Network Simulation.
WINSYS 2006: 108-113 |
| 2005 |
|---|
| 2 | | David Buchmann,
Dominik Jungo,
Ulrich Ultes-Nitsche:
Automated configuration distribution in verinec.
ICETE 2005: 304-309 |
| 1 | | Dominik Jungo,
David Buchmann,
Ulrich Ultes-Nitsche:
A Unit Testing Framework for Network Configurations.
MSVVEIS 2005: 77-82 |
