Search the dblp DataBase

Publications of Author

1. Gordon Fraser, Gerald Steinbauer, Franz Wotawa
   Plan Execution in Dynamic Environments. [Citation Graph (0, 0)][DBLP]
   IEA/AIE, 2005, pp:208-217 [Conf]
   
2. Gerald Steinbauer, Gordon Fraser, Arndt Mühlenfeld, Franz Wotawa
   A Modular Architecture for a Multi-purpose Mobile Robot. [Citation Graph (0, 0)][DBLP]
   IEA/AIE, 2004, pp:1007-1015 [Conf]
   
3. Gordon Fraser, Franz Wotawa
   Cooperative Planning and Plan Execution in Partially Observable Dynamic Domains. [Citation Graph (0, 0)][DBLP]
   RobuCup, 2004, pp:524-531 [Conf]
   
4. Gordon Fraser, Franz Wotawa
   Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis. [Citation Graph (0, 0)][DBLP]
   ICSEA, 2006, pp:16- [Conf]
   
5. Gordon Fraser, Franz Wotawa
   Redundancy Based Test-Suite Reduction. [Citation Graph (0, 0)][DBLP]
   FASE, 2007, pp:291-305 [Conf]
   
6. Gordon Fraser, Bernhard K. Aichernig, Franz Wotawa
   Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:33-46 [Journal]
   
7. 
   Creating Test-Cases Incrementally with Model-Checkers. [Citation Graph (, )][DBLP]
   
   
8. 
   QR-Model Based Testing. [Citation Graph (, )][DBLP]
   
   
9. 
   Experiments on the Test Case Length in Specification Based Test Case Generation. [Citation Graph (, )][DBLP]
   
   
10. 
    Mutation-driven generation of unit tests and oracles. [Citation Graph (, )][DBLP]
    
    
11. 
    Using Spectrum-Based Fault Localization for Test Case Grouping. [Citation Graph (, )][DBLP]
    
    
12. 
    Nondeterministic Testing with Linear Model-Checker Counterexamples. [Citation Graph (, )][DBLP]
    
    
13. 
    Improving Model-Checkers for Software Testing. [Citation Graph (, )][DBLP]
    
    
14. 
    Reachability and Propagation for LTL Requirements Testing. [Citation Graph (, )][DBLP]
    
    
15. 
    Coverage Based Testing with Test Purposes. [Citation Graph (, )][DBLP]
    
    
16. 
    Increasing Diversity in Coverage Test Suites Using Model Checking. [Citation Graph (, )][DBLP]
    
    
17. 
    Using Observer Automata to Select Test Cases for Test Purposes. [Citation Graph (, )][DBLP]
    
    
18. 
    Coverage-based Testing Using Qualitative Reasoning Models. [Citation Graph (, )][DBLP]
    
    
19. 
    Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers. [Citation Graph (, )][DBLP]
    
    
20. 
    Complementary Criteria for Testing Temporal Logic Properties. [Citation Graph (, )][DBLP]
    
    
21. 
    Using LTL rewriting to improve the performance of model-checker based test-case generation. [Citation Graph (, )][DBLP]
    
    
22. 
    Relating counterexamples to test cases in CTL model checking specifications. [Citation Graph (, )][DBLP]
    
    
23. 
    An Evaluation of Model Checkers for Specification Based Test Case Generation. [Citation Graph (, )][DBLP]