Skip to content

Gordon Fraser

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

169

Venues

19

Active years

2004–2026

Best venue rank

A*

Where they publish

Papers

169 indexed papers, newest first.

YearVenueTitleAuthors
2026ASTUnderstanding Bug-Reproducing Tests: A First Empirical Study.Andre Hora, Gordon Fraser
2026ICSTReal-World Fault Detection for C-Extended Python Projects with Automated Unit Test Generation.Lucas Berg, Lukas Krodinger, Stephan Lukasczyk, Annibale Panichella, Gordon Fraser, Wim Vanhoof, Xavier Devroey
2026ICSTPredictive Pull Request Batching to Accelerate Merge Pipelines in Continuous Integration at Scale.Maximilian Jungwirth, Martin Gruber, Gordon Fraser
2026ICSTThe Good, the Bad, and the Flaky: A New Sheriff in Town to Manage Unstable Tests at Scale.Maximilian Jungwirth, Martin Gruber, Gordon Fraser
2026ITiCSEVoice-Controlled Scratch for Children with (Motor) Disabilities.Elias Goller, Gordon Fraser, Isabella Gral
2025ASTExceptional Behaviors: How Frequently Are They Tested?Andr C. Hora, Gordon Fraser
2025ASTWhat Types of Automated Tests do Developers Write?Marko Ivankovic, Luka Rimanic, Ivan Budiselic, Goran Petrovic, Gordon Fraser, Ren Just
2025ASTAsserT5: Test Assertion Generation Using a Fine-Tuned Code Language Model.Severin Primbs, Benedikt Fein, Gordon Fraser
2025ICSEIncreasing the Effectiveness of Automatically Generated Tests by Improving Class Observability.Geraldine Galindo-Gutierrez, Juan Pablo Sandoval Alcocer, Nicolas Jimenez-Fuentes, Alexandre Bergel, Gordon Fraser
2025ICSTMany-Objective Neuroevolution for Testing Games.Patric Feldmeier, Katrin Schmelz, Gordon Fraser
2025ICSTShifting Gears in Continuous Integration: BMW's Strategies for High-Velocity Builds.Maximilian Jungwirth, Simon Rummert, Alexander Scott, Gordon Fraser
2025ICSTNovel Algorithm to Solve the Constrained Path-Based Testing Problem.Matej Klima, Miroslav Bures, Marek Miltner, Chad Zanocco, Gordon Fraser, Sebastian Schweikl, Patric Feldmeier
2025ICSTPractical Pipeline-Aware Regression Test Optimization for Continuous Integration.Daniel Schwendner, Maximilian Jungwirth, Martin Gruber, Martin Knoche, Daniel Merget, Gordon Fraser
2025ICSTMutation Testing via Iterative Large Language Model-Driven Scientific Debugging.Philipp Straubinger, Marvin Kreis, Stephan Lukasczyk, Gordon Fraser
2025ISSTATeaching Software Testing and Debugging with the Serious Game Sojourner under Sabotage.Philipp Straubinger, Tim Greller, Gordon Fraser
2025SSBSEConstraint-Guided Unit Test Generation for Machine Learning Libraries.Lukas Krodinger, Altin Hajdari, Stephan Lukasczyk, Gordon Fraser
2025SSBSESearch-based Hyperparameter Tuning for Python Unit Test Generation.Stephan Lukasczyk, Gordon Fraser
2024ASTWallMauer: Robust Code Coverage Instrumentation for Android Apps.Michael Auer, Ivn Arcuschin Moreno, Gordon Fraser
2024EASEAn Empirical Study on How Large Language Models Impact Software Testing Learning.Simone Mezzaro, Alessio Gambi, Gordon Fraser
2024GECCOSearch-based Crash Reproduction for Android Apps.Michael Auer, Dominik Diner, Gordon Fraser
2024ICSENuzzleBug: Debugging Block-Based Programs in Scratch.Adina Deiner, Gordon Fraser
2024ICSEGirls Rocking the Code: Gender-dependent Stereotypes, Engagement & Comprehension in Music Programming.Isabella Gral, Gordon Fraser
2024ICSECoding to Cope: Teaching Programming to Children with Emotional and Behavioral Disorders.Isabella Gral, Gordon Fraser
2024ICSEEquitable Student Collaboration in Pair Programming.Isabella Gral, Gordon Fraser
2024ICSEDo Automatic Test Generation Tools Generate Flaky Tests?Martin Gruber, Muhammad Firhard Roslan, Owain Parry, Fabian Scharnbck, Phil McMinn, Gordon Fraser
2024ICSEProductive Coverage: Improving the Actionability of Code Coverage.Marko Ivankovic, Goran Petrovic, Yana Kulizhskaya, Mateusz Lewko, Luka Kalinovcic, Ren Just, Gordon Fraser
2024ICSEImproving Testing Behavior by Gamifying IntelliJ.Philipp Straubinger, Gordon Fraser
2024ICSEGamifying a Software Testing Course with Continuous Integration.Philipp Straubinger, Gordon Fraser
2024ICSTBrewing Up Reliability: Espresso Test Generation for Android Apps.Ivn Arcuschin, Lisandro Di Meo, Michael Auer, Juan P. Galeotti, Gordon Fraser
2024ICSTEngaging Young Learners with Testing Using the Code Critters Mutation Game.Philipp Straubinger, Lena Bloch, Gordon Fraser
2024ICSTAn Empirical Evaluation of Manually Created Equivalent Mutants.Philipp Straubinger, Alexander Degenhart, Gordon Fraser
2024SIGCSE"Help Me Solve It" or "Solve It For Me": Effects of Feedback on Children Building and Programming Robots.Luisa Greifenstein, Isabella Gral, Ute Heuer, Gordon Fraser
2024SIGCSEHint Cards for Common Ozobot Robot Issues: Supporting Feedback for Learning Programming in Elementary Schools.Luisa Greifenstein, Ute Heuer, Gordon Fraser
2024SSBSEMany Independent Objective Estimation of Distribution Search for Android Testing.Michael Auer, Andreas Strobl, Gordon Fraser
2023ASTDebugging Flaky Tests using Spectrum-based Fault Localization.Martin Gruber, Gordon Fraser
2023GECCOLearning by Viewing: Generating Test Inputs for Games by Integrating Human Gameplay Traces in Neuroevolution.Patric Feldmeier, Gordon Fraser
2023ICSEThe ABC of Pair Programming: Gender-dependent Attitude, Behavior and Code of Young Learners.Isabella Gral, Gordon Fraser
2023ICSEExposing Software Engineering Students to Stressful Projects: Does Diversity Matter?Isabella Gral, Gordon Fraser, Stefan Trieflinger, Marco Kuhrmann
2023ICSEOn the Applicability of Language Models to Block-Based Programs.Elisabeth Griebl, Benedikt Fein, Florian Obermller, Gordon Fraser, Ren Just
2023ICSEFlaPy: Mining Flaky Python Tests at Scale.Martin Gruber, Gordon Fraser
2023ICSEPlease fix this mutant: How do developers resolve mutants surfaced during code review?Goran Petrovic, Marko Ivankovic, Gordon Fraser, Ren Just
2023ICSEEVOSUITE at the SBFT 2023 Tool Competition.Sebastian Schweikl, Gordon Fraser, Andrea Arcuri
2023ICSTAndroid Fuzzing: Balancing User-Inputs and Intents.Michael Auer, Andreas Stahlbauer, Gordon Fraser
2023ICSTPractical Flaky Test Prediction using Common Code Evolution and Test History Data.Martin Gruber, Michael Heine, Norbert Oster, Michael Philippsen, Gordon Fraser
2023ICSTCode Critters: A Block-Based Testing Game.Philipp Straubinger, Laura Caspari, Gordon Fraser
2023ISSREA Survey on What Developers Think About Testing.Philipp Straubinger, Gordon Fraser
2023ITiCSEScratchLog: Live Learning Analytics for Scratch.Laura Caspari, Luisa Greifenstein, Ute Heuer, Gordon Fraser
2023ITiCSEExploring Programming Task Creation of Primary School Teachers in Training.Luisa Greifenstein, Ute Heuer, Gordon Fraser
2023ITiCSEEffects of Automated Feedback in Scratch Programming Tutorials.Florian Obermller, Luisa Greifenstein, Gordon Fraser
2023SSBSEGenerating Android Tests Using Novelty Search.Michael Auer, Michael Pusl, Gordon Fraser
2022EDMAn Evaluation of code2vec Embeddings for Scratch.Benedikt Fein, Isabella Gral, Florian Beck, Gordon Fraser
2022ICSESCRATCH as Social Network: Topic Modeling and Sentiment Analysis in SCRATCH Projects.Isabella Gral, Gordon Fraser
2022ICSEPynguin: Automated Unit Test Generation for Python.Stephan Lukasczyk, Gordon Fraser
2022ICSECRISCE: Towards Generating Test Cases from Accident Sketches.Vuong Nguyen, Alessio Gambi, Jasim Ahmed, Gordon Fraser
2022ICSEGamekins: Gamifying Software Testing in Jenkins.Philipp Straubinger, Gordon Fraser
2022ICSTModel-based Testing of Scratch Programs.Katharina Gtz, Patric Feldmeier, Gordon Fraser
2022ICSTA Survey on How Test Flakiness Affects Developers and What Support They Need To Address It.Martin Gruber, Gordon Fraser
2022ITiCSECATNIP: An Automated Hint Generation Tool for Scratch.Benedikt Fein, Florian Obermller, Gordon Fraser
2022SSBSEImproving Search-Based Android Test Generation Using Surrogate Models.Michael Auer, Felix Adler, Gordon Fraser
2022SSBSESearch-Based Test Suite Generation for Rust.Vsevolod Tymofyeyev, Gordon Fraser
2021EDMExecution Trace Based Feature Engineering To Enable Formative Feedback on Visual, Interactive Programs.Wengran Wang, Gordon Fraser, Tiffany Barnes, Chris Martens, Thomas W. Price
2021EDMExecution-Trace-Based Feature Engineering To Enable Formative Feedback on Visual, Interactive Programs (Full Paper).Wengran Wang, Gordon Fraser, Tiffany Barnes, Chris Martens, Thomas W. Price
2021GECCOEncoding the certainty of boolean variables to improve the guidance for search-based test generation.Sebastian Vogl, Sebastian Schweikl, Gordon Fraser
2021ICSELitterBox: A Linter for Scratch Programs.Gordon Fraser, Ute Heuer, Nina Krber, Florian Obermller, Ewald Wasmeier
2021ICSEGradeer: An Open-Source Modular Hybrid Grader.Benjamin S. Clegg, Maria-Cruz Villa-Uriol, Phil McMinn, Gordon Fraser
2021ICSEFinding Anomalies in Scratch Assignments.Nina Krber, Katharina Geldreich, Andreas Stahlbauer, Gordon Fraser
2021ICSEDoes mutation testing improve testing practices?Goran Petrovic, Marko Ivankovic, Gordon Fraser, Ren Just
2021ICSTAn Empirical Study of Flaky Tests in Python.Martin Gruber, Stephan Lukasczyk, Florian Kroi, Gordon Fraser
2021ITiCSEGuiding Next-Step Hint Generation Using Automated Tests.Florian Obermller, Ute Heuer, Gordon Fraser
2021ITiCSESnapCheck: Automated Testing for SnapWengran Wang, Chenhao Zhang, Andreas Stahlbauer, Gordon Fraser, Thomas W. Price
2021SIGCSEAn Empirical Study to Determine if Mutants Can Effectively Simulate Students' Programming Mistakes to Increase Tutors' Confidence in Autograding.Benjamin Simon Clegg, Phil McMinn, Gordon Fraser
2021SCAMImproving Readability of Scratch Programs with Search-based Refactoring.Felix Adler, Gordon Fraser, Eva Grndinger, Nina Krber, Simon Labrenz, Jonas Lerchenberger, Stephan Lukasczyk, Sebastian Schweikl
2021TAPGenerating Timed UI Tests from Counterexamples.Dominik Diner, Gordon Fraser, Sebastian Schweikl, Andreas Stahlbauer
2020GECCOCauses and effects of fitness landscapes in unit test generation.Nasser M. Albunian, Gordon Fraser, Dirk Sudholt
2020ICSEEvoSuite at the SBST 2020 Tool Competition.Annibale Panichella, Jos Campos, Gordon Fraser
2020ICSTTeaching Software Testing with the Code Defenders Testing Game: Experiences and Improvements.Gordon Fraser, Alessio Gambi, Jos Miguel Rojas
2020ISSTARecovering fitness gradients for interprocedural Boolean flags in search-based testing.Yun Lin, Jun Sun, Gordon Fraser, Ziheng Xiu, Ting Liu, Jin Song Dong
2020ITiCSECommon Bugs in Scratch Programs.Christoph Frdrich, Florian Obermller, Nina Krber, Ute Heuer, Gordon Fraser
2020SSBSEMeasuring and Maintaining Population Diversity in Search-Based Unit Test Generation.Nasser M. Albunian, Gordon Fraser, Dirk Sudholt
2020SSBSESearch-Based Testing for Scratch Programs.Adina Deiner, Christoph Frdrich, Gordon Fraser, Sophia Geserer, Niklas Zantner
2020SSBSEAutomated Unit Test Generation for Python.Stephan Lukasczyk, Florian Kroi, Gordon Fraser
2019ICSEEvoSuiTE at the SBST 2019 tool competition.Jos Campos, Annibale Panichella, Gordon Fraser
2019ICSESimulating student mistakes to evaluate the fairness of automated grading.Benjamin S. Clegg, Siobhn North, Phil McMinn, Gordon Fraser
2019ICSEAutomatically reconstructing car crashes from police reports for testing self-driving cars.Alessio Gambi, Tri Huynh, Gordon Fraser
2019ICSEAsFault: testing self-driving car software using search-based procedural content generation.Alessio Gambi, Marc Mller, Gordon Fraser
2019ICSEAC3R: automatically reconstructing car crashes from police reports.Tri Huynh, Alessio Gambi, Gordon Fraser
2019ICSTParallel Many-Objective Search for Unit Tests.Verena Bader, Jos Campos, Gordon Fraser
2019ICSTAn Empirical Study on the Use of Defect Prediction for Test Case Prioritization.David Paterson, Jos Campos, Rui Abreu, Gregory M. Kapfhammer, Gordon Fraser, Phil McMinn
2019ISSTAAutomatically testing self-driving cars with search-based procedural content generation.Alessio Gambi, Marc Mller, Gordon Fraser
2019ISSTAImproving random GUI testing with image-based widget detection.Thomas D. White, Gordon Fraser, Guy J. Brown
2019PROFESIMPRESS: Improving Engagement in Software Engineering Courses Through Gamification.Tanja E. J. Vos, I. S. W. B. Prasetya, Gordon Fraser, Ivn Martnez-Ortiz, Ivn J. Prez-Colado, Rui Prada, Jos Bernardo Rocha, Antnio Rito Silva
2019SIGCSECode Defenders: A Mutation Testing Game.Gordon Fraser
2019SIGCSEGamifying a Software Testing Course with Code Defenders.Gordon Fraser, Alessio Gambi, Marvin Kreis, Jos Miguel Rojas
2018ICSEEvosuite at the SBST 2018 tool competition.Gordon Fraser, Jos Miguel Rojas, Andrea Arcuri
2018ICSEUsing controlled numbers of real faults and mutants to empirically evaluate coverage-based test case prioritization.David Paterson, Gregory M. Kapfhammer, Gordon Fraser, Phil McMinn
2018ICSTAutomated Accessibility Testing of Mobile Apps.Marcelo Medeiros Eler, Jos Miguel Rojas, Yan Ge, Gordon Fraser
2018ICSTHow Do Automatically Generated Unit Tests Influence Software Maintenance?Sina Shamshiri, Jos Miguel Rojas, Juan Pablo Galeotti, Neil Walkinshaw, Gordon Fraser
2018ICSTModelling Hand Gestures to Test Leap Motion Controlled Applications.Thomas D. White, Gordon Fraser, Guy J. Brown
2018ISSTASearch-based detection of deviation failures in the migration of legacy spreadsheet applications.Mohammad Moein Almasi, Hadi Hemmati, Gordon Fraser, Phil McMinn, Janis Benefelds
2018SSBSEA Tutorial on Using and Extending the EvoSuite Search-Based Test Generator.Gordon Fraser
2017ICSEAn Industrial Evaluation of Unit Test Generation: Finding Real Faults in a Financial Application.Mohammad Moein Almasi, Hadi Hemmati, Gordon Fraser, Andrea Arcuri, Janis Benefelds
2017ICSETeaching Software Testing Concepts Using a Mutation Testing Game.Benjamin S. Clegg, Jos Miguel Rojas, Gordon Fraser
2017ICSEGamification of Software Testing.Gordon Fraser
2017ICSEEvoSuite at the SBST 2017 Tool Competition.Gordon Fraser, Jos Miguel Rojas, Jos Campos, Andrea Arcuri
2017ICSEEvaluating and improving fault localization.Spencer Pearson, Jos Campos, Ren Just, Gordon Fraser, Rui Abreu, Michael D. Ernst, Deric Pang, Benjamin Keller
2017ICSEIs Search-Based Unit Test Generation Research Stuck in a Local Optimum?Jos Miguel Rojas, Gordon Fraser
2017ICSECode defenders: crowdsourcing effective tests and subtle mutants with a mutation testing game.Jos Miguel Rojas, Thomas D. White, Benjamin S. Clegg, Gordon Fraser
2017ICSEDisposable testing: avoiding maintenance of generated unit tests by throwing them away.Sina Shamshiri, Jos Campos, Gordon Fraser, Phil McMinn
2017ICSTPrivate API Access and Functional Mocking in Automated Unit Test Generation.Andrea Arcuri, Gordon Fraser, Ren Just
2017ICSTUncertainty-Driven Black-Box Test Data Generation.Neil Walkinshaw, Gordon Fraser
2017ISSTAGenerating unit tests with descriptive names or: would you name your children thing1 and thing2?Ermira Daka, Jos Miguel Rojas, Gordon Fraser
2017SSBSEAn Empirical Evaluation of Evolutionary Algorithms for Test Suite Generation.Jos Campos, Yan Ge, Gordon Fraser, Marcelo Eler, Andrea Arcuri
2016ICSEEvoSuite at the SBST 2016 tool competition.Gordon Fraser, Andrea Arcuri
2016ICSEAutomated search for good coverage criteria: moving from code coverage to fault coverage through search-based software engineering.Phil McMinn, Mark Harman, Gordon Fraser, Gregory M. Kapfhammer
2016ICSTUnit Test Generation During Software Development: EvoSuite Plugins for Maven, IntelliJ and Jenkins.Andrea Arcuri, Jos Campos, Gordon Fraser
2016ICSTCode Defenders: A Mutation Testing Game.Jos Miguel Rojas, Gordon Fraser
2016SSBSEJava Enterprise Edition Support in Search-Based JUnit Test Generation.Andrea Arcuri, Gordon Fraser
2015GECCORandom or Genetic Algorithm Search for Object-Oriented Test Suite Generation?Sina Shamshiri, Jos Miguel Rojas, Gordon Fraser, Phil McMinn
2015ICSEEvoSuite at the SBST 2015 Tool Competition.Gordon Fraser, Andrea Arcuri
2015ICSE2nd International Workshop on Crowd Sourcing in Software Engineering (CSI-SE 2015).Gordon Fraser, Thomas D. LaToza, Leonardo Mariani
2015ICSEUsing Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing.Kevin Salvesen, Juan P. Galeotti, Florian Gross, Gordon Fraser, Andreas Zeller
2015ISSTAAutomated unit test generation during software development: a controlled experiment and think-aloud observations.Jos Miguel Rojas, Gordon Fraser, Andrea Arcuri
2015SSBSEContinuous Test Generation on Guava.Jos Campos, Gordon Fraser, Andrea Arcuri, Rui Abreu
2015SSBSEGenerating Readable Unit Tests for Guava.Ermira Daka, Jos Campos, Jonathan Dorn, Gordon Fraser, Westley Weimer
2015SSBSEParameter Control in Search-Based Generation of Unit Test Suites.David Paterson, Jonathan Turner, Thomas D. White, Gordon Fraser
2015SSBSECombining Multiple Coverage Criteria in Search-Based Unit Test Generation.Jos Miguel Rojas, Jos Campos, Mattia Vivanti, Gordon Fraser, Andrea Arcuri
2014ICSTAutomatic Testing of Natural User Interfaces.Chris J. Hunt, Guy J. Brown, Gordon Fraser
2014ISSREA Survey on Unit Testing Practices and Problems.Ermira Daka, Gordon Fraser
2014ISSTAExtending a search-based test generator with adaptive dynamic symbolic execution.Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri
2014ISSTAEfficient mutation analysis by propagating and partitioning infected execution states.Ren Just, Michael D. Ernst, Gordon Fraser
2014SSBSEOn the Effectiveness of Whole Test Suite Generation.Andrea Arcuri, Gordon Fraser
2013GECCOTest suite generation with memetic algorithms.Gordon Fraser, Andrea Arcuri, Phil McMinn
2013ICSTEvoSuite: On the Challenges of Test Case Generation in the Real World.Gordon Fraser, Andrea Arcuri
2013ICSTEvoSuite at the SBST 2013 Tool Competition.Gordon Fraser, Andrea Arcuri
2013ICSTCrowdOracles: Can the Crowd Solve the Oracle Problem?Fabrizio Pastore, Leonardo Mariani, Gordon Fraser
2013ICSTReconstructing Core Dumps.Jeremias Rler, Andreas Zeller, Gordon Fraser, Cristian Zamfir, George Candea
2013ICSTSearch-Based Propagation of Regression Faults in Automated Regression Testing.Sina Shamshiri, Gordon Fraser, Phil McMinn, Alessandro Orso
2013ICSTGenerating Unit Tests for Concurrent Classes.Sebastian Steenbuck, Gordon Fraser
2013ISSREImproving search-based test suite generation with dynamic symbolic execution.Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri
2013ISSRESearch-based data-flow test generation.Mattia Vivanti, Andre Mis, Alessandra Gorla, Gordon Fraser
2013ISSTADoes automated white-box test generation really help software testers?Gordon Fraser, Matt Staats, Phil McMinn, Andrea Arcuri, Frank Padberg
2013TAPGenerating Test Suites with Augmented Dynamic Symbolic Execution.Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux
2012ICSESound empirical evidence in software testing.Gordon Fraser, Andrea Arcuri
2012ICSEEXSYST: Search-based GUI testing.Florian Gross, Gordon Fraser, Andreas Zeller
2012ICSTThe Seed is Strong: Seeding Strategies in Search-Based Software Testing.Gordon Fraser, Andrea Arcuri
2012ICSTBehaviourally Adequate Software Testing.Gordon Fraser, Neil Walkinshaw
2012ICSTSemi-automatic Search-Based Test Generation.Yury Pavlov, Gordon Fraser
2012ISSTASearch-based system testing: high coverage, no false alarms.Florian Gross, Gordon Fraser, Andreas Zeller
2012ISSTAIsolating failure causes through test case generation.Jeremias Rler, Gordon Fraser, Andreas Zeller, Alessandro Orso
2011FASETesting Container Classes: Random or Systematic?Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, Darko Marinov
2011ICSTIt is Not the Length That Matters, It is How You Control It.Gordon Fraser, Andrea Arcuri
2011ICSTExploiting Common Object Usage in Test Case Generation.Gordon Fraser, Andreas Zeller
2011ISSTAGenerating parameterized unit tests.Gordon Fraser, Andreas Zeller
2011SSBSEOn Parameter Tuning in Search Based Software Engineering.Andrea Arcuri, Gordon Fraser
2011SSBSEBytecode Testability Transformation.Yanchuan Li, Gordon Fraser
2010ICSTGenerating Minimal Fault Detecting Test Suites for Boolean Expressions.Gordon Fraser, Angelo Gargantini
2010ISSTAMutation-driven generation of unit tests and oracles.Gordon Fraser, Andreas Zeller
2009ICSEExperiments on the Test Case Length in Specification Based Test Case Generation.Gordon Fraser, Angelo Gargantini
2009ICSTAn Evaluation of Model Checkers for Specification Based Test Case Generation.Gordon Fraser, Angelo Gargantini
2009TAPComplementary Criteria for Testing Temporal Logic Properties.Gordon Fraser, Franz Wotawa
2008ICSEQR-Model Based Testing.Harald Brandl, Gordon Fraser, Franz Wotawa
2008ICSTOrdering Coverage Goals in Model Checker Based Testing.Gordon Fraser, Franz Wotawa
2008SEKECoverage-based Testing Using Qualitative Reasoning Models.Harald Brandl, Gordon Fraser, Franz Wotawa
2008SEKEUsing Observer Automata to Select Test Cases for Test Purposes.Gordon Fraser, Martin Weiglhofer, Franz Wotawa
2007FASERedundancy Based Test-Suite Reduction.Gordon Fraser, Franz Wotawa
2007GICreating Test-Cases Incrementally with Model-Checkers.Gordon Fraser, Franz Wotawa
2007ICSEATest-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers.Gordon Fraser, Franz Wotawa
2006ICSEAUsing Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis.Gordon Fraser, Franz Wotawa
2004RoboCupCooperative Planning and Plan Execution in Partially Observable Dynamic Domains.Gordon Fraser, Franz Wotawa