[ Back to Gordon Fraser's main page | To the Institute for Software Technology ]

Gordon Fraser's Publications

This list is also available as BiBTeX file.

[1]
Duminda Wijesekera, Lingya Sun, Paul Ammann, and Gordon Fraser. Relating counterexamples to test cases in ctl model checking specifications. In Proceedings of the Third Workshop on Advances in Model Based Testing (A-MOST 2007), pages 75-84, New York, NY, USA, 2007. ACM Press.

[2]
Gordon Fraser and Franz Wotawa. Test-case prioritization with model-checkers. In Proceedings of the IASTED International Conference on Software Engineering, Innsbruck, 2007. (PDF, 147196 bytes).

[3]
Gordon Fraser and Franz Wotawa. Redundancy based test-suite reduction. In Proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering (FASE 2007), volume 4422 of Lecture Notes in Computer Science, pages 291-305. Springer, 2007. (PDF, 183093 bytes).

[4]
Gordon Fraser and Franz Wotawa. Using formal methods for ensuring quality requirements of systems. ÖVE Verbandszeitschrift Elektrotechnik und Informationstechnik (e&i), 124(1):13-16, 2007.

[5]
Gordon Fraser and Franz Wotawa. Using LTL rewriting to improve the performance of model-checker based test-case generation. In Proceedings of the Third Workshop on Advances in Model Based Testing (A-MOST 2007), pages 64-74, New York, NY, USA, 2007. ACM Press.

[6]
Gordon Fraser and Franz Wotawa. Mutant Minimization for Model-Checker Based Test-Case Generation. In Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007, pages 161-168. IEEE Computer Society, 2007.

[7]
Gordon Fraser and Franz Wotawa. Test-case generation and coverage analysis for nondeterministic systems using model-checkers. In Proceedings of the International Conference on Software Engineering Advances (ICSEA 2007), page 45, Los Alamitos, CA, USA, 2007. IEEE Computer Society.

[8]
Gordon Fraser and Franz Wotawa. Creating test-cases incrementally with model-checkers. In Proceedings of the Workshop on Model-Based Testing (MOTES 2007) held in conjunction with the 37th Annual Congress of the Gesellschaft fuer Informatik, pages 415-420, 2007.

[9]
Gordon Fraser and Franz Wotawa. Improving model-checkers for software testing. In Proceedings of the International Conference on Software Quality (QSIC'07), pages 25-31. IEEE Computer Society, 2007.

[10]
Gordon Fraser and Franz Wotawa. Nondeterministic testing with linear model-checker counterexamples. In Proceedings of the International Conference on Software Quality (QSIC'07), pages 107-116. IEEE Computer Society, 2007.

[11]
Gordon Fraser and Franz Wotawa. Using Model-Checkers to Generate and Analyze Property Relevant Test-Cases. Software Quality Journal, 2007. To appear.

[12]
Gordon Fraser, Gerald Steinbauer, Jörg Weber, and Franz Wotawa. Architectural Design of Multi-Agent Systems: Technologies and Techniques, chapter Robust Intelligent Control of Mobile Robots. Idea Group Reference, 2007.

[13]
Gordon Fraser, Bernhard Aichernig, and Franz Wotawa. Handling model changes: Regression testing and test-suite update with model-checkers. Electronic Notes in Theoretical Computer Science, 190:33-46, 2007. (PDF, 158037 bytes).

[14]
Susanne Kandl, Raimund Kirner, and Gordon Fraser. Verification of platform-independent and platform-specific semantics of dependable embedded systems. In Proceedings of the 3rd International Workshop on Dependable Embedded Systems (WDES 2006), 2006. To Appear.

[15]
Gordon Fraser and Franz Wotawa. Property relevant software testing with model-checkers. SIGSOFT Softw. Eng. Notes, 31(6):1-10, 2006. (PDF, 191273 bytes).

[16]
Gordon Fraser and Franz Wotawa. Using model-checkers for mutation-based test-case generation, coverage analysis and specification analysis. In Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), pages 16-22, Los Alamitos, CA, USA, 2006. IEEE Computer Society. (PDF, 124034 bytes).

[17]
Gordon Fraser and Franz Wotawa. Using and improving requirement properties for mutation based test-case generation. 22. WI-MAW Rundbrief, Jahrgang 12(2):5-23, 2006. (PDF, 224955 bytes).

[18]
Gordon Fraser, Gerald Steinbauer, and Franz Wotawa. Autonome mobile roboter - anwendung von ai zur intelligenten kontrolle. ÖVE Verbandszeitschrift Elektrotechnik und Informationstechnik (e&i), (7/8), 2005.

[19]
Gordon Fraser, Gerald Steinbauer, and Franz Wotawa. Plan execution in dynamic environments. In 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems., pages 208-217, Bari, Italy, 2005. Springer. .

[20]
Gerald Steinbauer, Christian Deutsch, Gordon Fraser, Mathias Hagler, Arndt Mühlenfeld, Stefan Richter, Gernot Wöber, and Jürgen Wolf. Mostly harmless team description 2004. In International Robocup Symposium., Lisbon, Portugal, 2004. .

[21]
Gordon Fraser and Franz Wotawa. Cooperative planning and plan execution in partially observable dynamic domains. In Proceedings RoboCup 2004 Symposium, Lisboa, Portugal, 2004.

[22]
Gordon Fraser, Gerald Steinbauer, and Franz Wotawa. Application of qualitative reasoning to robotic soccer. In 18th International Workshop on Qualitative Reasoning., Illinois, USA, August 2004. .

[23]
Gordon Fraser, Gerald Steinbauer, and Franz Wotawa. A modular architecture for a multi-purpose mobile robot. In Innovations in Applied Artificial Intelligence, 17th Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE, volume 3029 of lnai, Ottawa, Canada, 2004. Springer. .

[24]
Gerald Steinbauer, Michael Faschinger, Gordon Fraser, Arndt Mühlenfeld, Stefan Richter, Gernot Wöber, and Jürgen Wolf. The mostly harmless robocup middle size league team. ÖGAI Journal, 22(3):8-13, 2003. .

[25]
Gerald Steinbauer, Michael Faschinger, Gordon Fraser, Arndt Mühlenfeld, Stefan Richter, Gernot Wöber, and Jürgen Wolf. Mostly harmless team description. In Daniel Polani, Brett Browning, Andrea Bondarini, and Kazuo Yoshida, editors, RoboCup 2003: Robot Soccer World Cup VII, volume 3020 of lnai, Padova, Italy, 2003. Springer. .

The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.