The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gordon Fraser: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002