 | 2009 |
|---|
| 9 |       | Andreas Griesmayer,
Bernhard K. Aichernig,
Einar Broch Johnsen,
Rudolf Schlatte:
Dynamic Symbolic Execution of Distributed Concurrent Objects.
FMOODS/FORTE 2009: 225-230 |
| 8 | | Andreas Griesmayer,
Bernhard K. Aichernig,
Einar Broch Johnsen,
Rudolf Schlatte:
Dynamic Symbolic Execution for Testing Distributed Objects.
TAP 2009: 105-120 |
| 7 | | Bernhard K. Aichernig,
Andreas Griesmayer,
Rudolf Schlatte,
Andries Stam:
Modeling and Testing Multi-Threaded Asynchronous Systems with Creol.
Electr. Notes Theor. Comput. Sci. 243: 3-14 (2009) |
| 2008 |
|---|
| 6 | | Bernhard K. Aichernig,
Andreas Griesmayer,
Einar Broch Johnsen,
Rudolf Schlatte,
Andries Stam:
Conformance Testing of Distributed Concurrent Systems with Executable Designs.
FMCO 2008: 61-81 |
| 5 | | Rudolf Schlatte,
Bernhard K. Aichernig,
Frank S. de Boer,
Andreas Griesmayer,
Einar Broch Johnsen:
Testing Concurrent Objects with Application-Specific Schedulers.
ICTAC 2008: 319-333 |
| 2007 |
|---|
| 4 | | Andreas Griesmayer,
Stefan Staber,
Roderick Bloem:
Automated Fault Localization for C Programs.
Electr. Notes Theor. Comput. Sci. 174(4): 95-111 (2007) |
| 2006 |
|---|
| 3 | | Andreas Griesmayer,
Roderick Bloem,
Byron Cook:
Repair of Boolean Programs with an Application to C.
CAV 2006: 358-371 |
| 2005 |
|---|
| 2 | | Barbara Jobstmann,
Andreas Griesmayer,
Roderick Bloem:
Program Repair as a Game.
CAV 2005: 226-238 |
| 1 | | Andreas Griesmayer,
Roderick Bloem,
Martin Hautzendorfer,
Franz Wotawa:
Formal Verification of Control Software: A Case Study.
IEA/AIE 2005: 783-788 |
