| 2008 |
|---|
| 18 | EE | Gordon Fraser,
Paul Ammann:
Reachability and Propagation for LTL Requirements Testing.
QSIC 2008: 189-198 |
| 17 | EE | Gordon Fraser,
Martin Weiglhofer,
Franz Wotawa:
Coverage Based Testing with Test Purposes.
QSIC 2008: 199-208 |
| 16 | | Harald Brandl,
Gordon Fraser,
Franz Wotawa:
Coverage-based Testing Using Qualitative Reasoning Models.
SEKE 2008: 393-398 |
| 15 | | Gordon Fraser,
Martin Weiglhofer,
Franz Wotawa:
Using Observer Automata to Select Test Cases for Test Purposes.
SEKE 2008: 709-714 |
| 14 | EE | Gordon Fraser,
Franz Wotawa:
Using model-checkers to generate and analyze property relevant test-cases.
Software Quality Journal 16(2): 161-183 (2008) |
| 2007 |
|---|
| 13 | EE | Gordon Fraser,
Franz Wotawa:
Using LTL rewriting to improve the performance of model-checker based test-case generation.
A-MOST 2007: 64-74 |
| 12 | EE | Duminda Wijesekera,
Paul Ammann,
Lingya Sun,
Gordon Fraser:
Relating counterexamples to test cases in CTL model checking specifications.
A-MOST 2007: 75-84 |
| 11 | EE | Gordon Fraser,
Franz Wotawa:
Redundancy Based Test-Suite Reduction.
FASE 2007: 291-305 |
| 10 | | Gordon Fraser,
Franz Wotawa:
Creating Test-Cases Incrementally with Model-Checkers.
GI Jahrestagung (2) 2007: 381-386 |
| 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 |
