Gordon Fraser - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2010

Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. ProceedingsLeonardo Bottaci, Gordon Fraser, editors, Volume 6303 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Tests and Proofs, 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. ProceedingsGordon Fraser, Angelo Gargantini, editors, Volume 6143 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Mutation-driven generation of unit tests and oraclesGordon Fraser, Andreas Zeller. ISSTA 2010: 147-158 [doi]

Generating Minimal Fault Detecting Test Suites for Boolean ExpressionsGordon Fraser, Angelo Gargantini. icst 2010: 37-45 [doi]

2009

Issues in using model checkers for test case generationGordon Fraser, Franz Wotawa, Paul Ammann. jss, 82(9):1403-1418, 2009. [doi]

Complementary Criteria for Testing Temporal Logic PropertiesGordon Fraser, Franz Wotawa. tap 2009: 58-73 [doi]

An Evaluation of Model Checkers for Specification Based Test Case GenerationGordon Fraser, Angelo Gargantini. icst 2009: 41-50 [doi]

Experiments on the Test Case Length in Specification Based Test Case GenerationGordon Fraser, Angelo Gargantini. ICSE 2009: 18-26 [doi]

On the order of test goals in specification-based testingGordon Fraser, Angelo Gargantini, Franz Wotawa. jlp, 78(6):472-490, 2009. [doi]

Increasing Diversity in Coverage Test Suites Using Model CheckingGordon Fraser, Franz Wotawa. qsic 2009: 211-218 [doi]

Testing with model checkers: a surveyGordon Fraser, Franz Wotawa, Paul Ammann. stvr, 19(3):215-261, 2009. [doi]

Using Spectrum-Based Fault Localization for Test Case GroupingMartin Weiglhofer, Gordon Fraser, Franz Wotawa. kbse 2009: 630-634 [doi]

Using coverage to automate and improve test purpose based testingMartin Weiglhofer, Gordon Fraser, Franz Wotawa. INFSOF, 51(11):1601-1617, 2009. [doi]

2008

2007

Using formal methods for ensuring quality requirements of systemsGordon Fraser, Franz Wotawa. ei, 124(1-2):13-16, 2007. [doi]

Improving Model-Checkers for Software TestingGordon Fraser, Franz Wotawa. qsic 2007: 25-31 [doi]

Creating Test-Cases Incrementally with Model-CheckersGordon Fraser, Franz Wotawa. gi 2007: 381-386

Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-CheckersGordon Fraser, Franz Wotawa. icsea 2007: 45 [doi]

Using LTL rewriting to improve the performance of model-checker based test-case generationGordon Fraser, Franz Wotawa. amost 2007: 64-74 [doi]

Redundancy Based Test-Suite ReductionGordon Fraser, Franz Wotawa. FASE 2007: 291-305 [doi]

Nondeterministic Testing with Linear Model-Checker CounterexamplesGordon Fraser, Franz Wotawa. qsic 2007: 107-116 [doi]

Handling Model Changes: Regression Testing and Test-Suite Update with Model-CheckersGordon Fraser, Bernhard K. Aichernig, Franz Wotawa. ENTCS, 190(2):33-46, 2007. [doi]

Relating counterexamples to test cases in CTL model checking specificationsDuminda Wijesekera, Paul Ammann, Lingya Sun, Gordon Fraser. amost 2007: 75-84 [doi]

2006

Property relevant software testing with model-checkersGordon Fraser, Franz Wotawa. sigsoft, 31(6):1-10, 2006. [doi]

Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification AnalysisGordon Fraser, Franz Wotawa. icsea 2006: 16 [doi]

2005

Plan Execution in Dynamic EnvironmentsGordon Fraser, Gerald Steinbauer, Franz Wotawa. ieaaie 2005: 208-217 [doi]

2004

Cooperative Planning and Plan Execution in Partially Observable Dynamic DomainsGordon Fraser, Franz Wotawa. robocup 2005: 524-531 [doi]

A Modular Architecture for a Multi-purpose Mobile RobotGerald Steinbauer, Gordon Fraser, Arndt Mühlenfeld, Franz Wotawa. ieaaie 2004: 1007-1015 [doi]