| 2007 |
|---|
| 12 | EE | Gordon Fraser,
Franz Wotawa:
Using LTL rewriting to improve the performance of model-checker based test-case generation.
A-MOST 2007: 64-74 |
| 11 | EE | Duminda Wijesekera,
Paul Ammann,
Lingya Sun,
Gordon Fraser:
Relating counterexamples to test cases in CTL model checking specifications.
A-MOST 2007: 75-84 |
| 10 | EE | Gordon Fraser,
Franz Wotawa:
Redundancy Based Test-Suite Reduction.
FASE 2007: 291-305 |
| 9 | EE | Gordon Fraser,
Franz Wotawa:
Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers.
ICSEA 2007: 45 |
| 8 | EE | Gordon Fraser,
Franz Wotawa:
Nondeterministic Testing with Linear Model-Checker Counterexamples.
QSIC 2007: 107-116 |
| 7 | EE | Gordon Fraser,
Franz Wotawa:
Improving Model-Checkers for Software Testing.
QSIC 2007: 25-31 |
| 6 | EE | Gordon Fraser,
Bernhard K. Aichernig,
Franz Wotawa:
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers.
Electr. Notes Theor. Comput. Sci. 190(2): 33-46 (2007) |
| 2006 |
|---|
| 5 | EE | Gordon Fraser,
Franz Wotawa:
Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis.
ICSEA 2006: 16 |
| 4 | EE | Gordon Fraser,
Franz Wotawa:
Property relevant software testing with model-checkers.
ACM SIGSOFT Software Engineering Notes 31(6): 1-10 (2006) |
| 2005 |
|---|
| 3 | EE | Gordon Fraser,
Gerald Steinbauer,
Franz Wotawa:
Plan Execution in Dynamic Environments.
IEA/AIE 2005: 208-217 |
| 2004 |
|---|
| 2 | EE | Gerald Steinbauer,
Gordon Fraser,
Arndt Mühlenfeld,
Franz Wotawa:
A Modular Architecture for a Multi-purpose Mobile Robot.
IEA/AIE 2004: 1007-1015 |
| 1 | EE | Gordon Fraser,
Franz Wotawa:
Cooperative Planning and Plan Execution in Partially Observable Dynamic Domains.
RobuCup 2004: 524-531 |
