Gordon Fraser
Orcid: 0000-0002-4364-6595Affiliations:
- University of Passau, Germany
- University of Sheffield, Department of Computer Science, UK
- Saarland University, Saarbrücken, Germany
- Graz University of Technology, Institute for Software Technology, Austria (PhD 2007)
According to our database1,
Gordon Fraser
authored at least 266 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
-
on orcid.org
On csauthors.net:
Bibliography
2024
ACM SIGSOFT Softw. Eng. Notes, July, 2024
CoRR, 2024
CoRR, 2024
Hint Cards for Common Ozobot Robot Issues: Supporting Feedback for Learning Programming in Elementary Schools.
Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024
"Help Me Solve It" or "Solve It For Me": Effects of Feedback on Children Building and Programming Robots.
Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024
Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024
Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024
Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024
Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training, 2024
Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024
Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training, 2024
Coding to Cope: Teaching Programming to Children with Emotional and Behavioral Disorders.
Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training, 2024
Girls Rocking the Code: Gender-dependent Stereotypes, Engagement & Comprehension in Music Programming.
Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training, 2024
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024
Proceedings of the Genetic and Evolutionary Computation Conference, 2024
Combining Neuroevolution with the Search for Novelty to Improve the Generation of Test Inputs for Games.
Proceedings of the 1st ACM International Workshop on Foundations of Applied Software Engineering for Games, 2024
Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering, 2024
Proceedings of the 5th ACM/IEEE International Conference on Automation of Software Test (AST 2024), 2024
2023
Commun. ACM, November, 2023
Empir. Softw. Eng., March, 2023
Impact of Hint Content on Performance and Learning: A Study with Primary School Children in a Scratch Course.
Proceedings of the 18th WiPSCE Conference on Primary and Secondary Computing Education Research, 2023
Proceedings of the Search-Based Software Engineering - 15th International Symposium, 2023
Proceedings of the Informatikunterricht zwischen Aktualität und Zeitlosigkeit: 20. GI-Fachtagung Informatik und Schule, 2023
Proceedings of the Informatikunterricht zwischen Aktualität und Zeitlosigkeit: 20. GI-Fachtagung Informatik und Schule, 2023
Programmierfeedback für Kinder: Text oder Bild? - Eine Mixed-Methods-Studie in einem Roboter-Kurs.
Proceedings of the Informatikunterricht zwischen Aktualität und Zeitlosigkeit: 20. GI-Fachtagung Informatik und Schule, 2023
Proceedings of the Informatikunterricht zwischen Aktualität und Zeitlosigkeit: 20. GI-Fachtagung Informatik und Schule, 2023
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, 2023
Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1, 2023
Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1, 2023
Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1, 2023
Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023
Proceedings of the IEEE/ACM International Workshop on Search-Based and Fuzz Testing, 2023
Please fix this mutant: How do developers resolve mutants surfaced during code review?
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, 2023
The ABC of Pair Programming: Gender-dependent Attitude, Behavior and Code of Young Learners.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, 2023
Learning by Viewing: Generating Test Inputs for Games by Integrating Human Gameplay Traces in Neuroevolution.
Proceedings of the Genetic and Evolutionary Computation Conference, 2023
Proceedings of the 2nd International Workshop on Gamification in Software Development, 2023
Proceedings of the 5th European Conference on Software Engineering Education, 2023
Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2023
2022
IEEE Trans. Software Eng., 2022
Empir. Softw. Eng., 2022
Proceedings of the WiPSCE '22: The 17th Workshop in Primary and Secondary Computing Education, Morschach, Switzerland, 31 October 2022, 2022
Common Problems and Effects of Feedback on Fun When Programming Ozobots in Primary School.
Proceedings of the WiPSCE '22: The 17th Workshop in Primary and Secondary Computing Education, Morschach, Switzerland, 31 October 2022, 2022
Proceedings of the WiPSCE '22: The 17th Workshop in Primary and Secondary Computing Education, Morschach, Switzerland, 31 October 2022, 2022
Pinpoint: A Record, Replay, and Extract System to Support Code Comprehension and Reuse.
Proceedings of the 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, 2022
Proceedings of the Search-Based Software Engineering - 14th International Symposium, 2022
Proceedings of the Search-Based Software Engineering - 14th International Symposium, 2022
Proceedings of the Software Engineering 2022, 2022
Proceedings of the 15th IEEE/ACM International Workshop on Search-Based Software Testing, 2022
Proceedings of the ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8, 2022
A Survey on How Test Flakiness Affects Developers and What Support They Need To Address It.
Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022
Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022
SCRATCH as Social Network: Topic Modeling and Sentiment Analysis in SCRATCH Projects.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Society ICSE (SEIS) 2022, 2022
Proceedings of the 55th Hawaii International Conference on System Sciences, 2022
Proceedings of the 1st International Workshop on Gamification of Software Development, 2022
Proceedings of the 15th International Conference on Educational Data Mining, 2022
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2022
2021
Proceedings of the WiPSCE '21: The 16th Workshop in Primary and Secondary Computing Education, 2021
An Experience of Introducing Primary School Children to Programming using Ozobots (Practical Report).
Proceedings of the WiPSCE '21: The 16th Workshop in Primary and Secondary Computing Education, 2021
Effects of Hints on Debugging Scratch Programs: An Empirical Study with Primary School Teachers in Training.
Proceedings of the WiPSCE '21: The 16th Workshop in Primary and Secondary Computing Education, 2021
Proceedings of the WiPSCE '21: The 16th Workshop in Primary and Secondary Computing Education, 2021
Proceedings of the Tests and Proofs - 15th International Conference, 2021
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
An Empirical Study to Determine if Mutants Can Effectively Simulate Students' Programming Mistakes to Increase Tutors' Confidence in Autograding.
Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021
Proceedings of the 21st IEEE International Working Conference on Source Code Analysis and Manipulation, 2021
Proceedings of the 14th IEEE/ACM International Workshop on Search-Based Software Testing, 2021
Challenging but Full of Opportunities: Teachers' Perspectives on Programming in Primary Schools.
Proceedings of the Koli Calling '21: 21st Koli Calling International Conference on Computing Education Research, Joensuu, Finland, November 18, 2021
Proceedings of the ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.1, Virtual Event, Germany, June 26, 2021
Proceedings of the ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.1, Virtual Event, Germany, June 26, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, 2021
Encoding the certainty of boolean variables to improve the guidance for search-based test generation.
Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021
Execution-Trace-Based Feature Engineering To Enable Formative Feedback on Visual, Interactive Programs (Full Paper).
Proceedings of the Joint Proceedings of the Workshops at the International Conference on Educational Data Mining 2021 co-located with 14th International Conference on Educational Data Mining (EDM 2021), 2021
Execution Trace Based Feature Engineering To Enable Formative Feedback on Visual, Interactive Programs.
Proceedings of the 14th International Conference on Educational Data Mining, 2021
2020
CoRR, 2020
Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020
Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020
Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020
Proceedings of the Software Engineering 2020, 2020
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria, and Test Set Size.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020
Recovering fitness gradients for interprocedural Boolean flags in search-based testing.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020
Teaching Software Testing with the Code Defenders Testing Game: Experiences and Improvements.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020
Revisiting Test Smells in Automatically Generated Tests: Limitations, Pitfalls, and Opportunities.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020
Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020
Proceedings of the ECSEE '20: European Conference on Software Engineering Education, 2020
Tutorial on a Gamification Toolset for Improving Engagement of Students in Software Engineering Courses.
Proceedings of the 32nd IEEE Conference on Software Engineering Education and Training, 2020
The Influence of Test Suite Properties on Automated Grading of Programming Exercises.
Proceedings of the 32nd IEEE Conference on Software Engineering Education and Training, 2020
2019
Proceedings of the 14th Workshop in Primary and Secondary Computing Education, 2019
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019
Proceedings of the Testing Software and Systems, 2019
Proceedings of the Product-Focused Software Process Improvement, 2019
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019
Automatically testing self-driving cars with search-based procedural content generation.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019
AsFault: testing self-driving car software using search-based procedural content generation.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019
Automatically reconstructing car crashes from police reports for testing self-driving cars.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019
Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, 2019
Proceedings of the 12th International Workshop on Search-Based Software Testing, 2019
2018
Softw. Test. Verification Reliab., 2018
Softw. Qual. J., 2018
Inf. Softw. Technol., 2018
Proceedings of the Search-Based Software Engineering - 10th International Symposium, 2018
Proceedings of the Software Engineering und Software Management 2018, 2018
Search-based detection of deviation failures in the migration of legacy spreadsheet applications.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018
Proceedings of the 11th IEEE International Conference on Software Testing, 2018
Proceedings of the 11th IEEE International Conference on Software Testing, 2018
Using controlled numbers of real faults and mutants to empirically evaluate coverage-based test case prioritization.
Proceedings of the 13th International Workshop on Automation of Software Test, 2018
Proceedings of the 11th International Workshop on Search-Based Software Testing, 2018
A Preliminary Report on Gamifying a Software Testing Course with the Code Defenders Testing Game.
Proceedings of the 3rd European Conference of Software Engineering Education, 2018
Proceedings of the 8th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, 2018
2017
Editorial for the special issue of STVR on the 8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015).
Softw. Test. Verification Reliab., 2017
Empir. Softw. Eng., 2017
Proceedings of the Search Based Software Engineering - 9th International Symposium, 2017
Generating unit tests with descriptive names or: would you name your children thing1 and thing2?
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
Disposable testing: avoiding maintenance of generated unit tests by throwing them away.
Proceedings of the 39th International Conference on Software Engineering, 2017
Code defenders: crowdsourcing effective tests and subtle mutants with a mutation testing game.
Proceedings of the 39th International Conference on Software Engineering, 2017
Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017
Proceedings of the 39th International Conference on Software Engineering, 2017
Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017
Proceedings of the 12th IEEE/ACM International Workshop on Automation of Software Testing, 2017
Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training Track, 2017
An Industrial Evaluation of Unit Test Generation: Finding Real Faults in a Financial Application.
Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice Track, 2017
2016
Softw. Test. Verification Reliab., 2016
Proceedings of the Search Based Software Engineering - 8th International Symposium, 2016
Proceedings of the 27th Annual Workshop of the Psychology of Programming Interest Group, 2016
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016
Unit Test Generation During Software Development: EvoSuite Plugins for Maven, IntelliJ and Jenkins.
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016
Automated search for good coverage criteria: moving from code coverage to fault coverage through search-based software engineering.
Proceedings of the 9th International Workshop on Search-Based Software Testing, 2016
Proceedings of the 9th International Workshop on Search-Based Software Testing, 2016
2015
IEEE Trans. Software Eng., 2015
Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study.
ACM Trans. Softw. Eng. Methodol., 2015
Softw. Test. Verification Reliab., 2015
Empir. Softw. Eng., 2015
1600 faults in 100 projects: automatically finding faults while achieving high coverage with EvoSuite.
Empir. Softw. Eng., 2015
Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015
Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015
Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015
Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015
Mutation Analysis for the Real World: Effectiveness, Efficiency, and Proper Tool Support.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015
Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015
Automated unit test generation during software development: a controlled experiment and think-aloud observations.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015
Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015
Proceedings of the Genetic and Evolutionary Computation Conference, 2015
2014
ACM Trans. Softw. Eng. Methodol., 2014
Softw. Test. Verification Reliab., 2014
Proceedings of the Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering, 2014
Proceedings of the Search-Based Software Engineering - 6th International Symposium, 2014
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014
Continuous test generation: enhancing continuous integration with automated test generation.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
Efficient mutation analysis by propagating and partitioning infected execution states.
Proceedings of the International Symposium on Software Testing and Analysis, 2014
Proceedings of the International Symposium on Software Testing and Analysis, 2014
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification.
Proceedings of the Hardware and Software: Verification and Testing, 2014
2013
Softw. Qual. J., 2013
Guest editor's introduction to the special section on TAIC-PART 2010 - Testing: Academic and Industrial Conference-Practice and Research Techniques.
Softw. Pract. Exp., 2013
Parameter tuning or default values? An empirical investigation in search-based software engineering.
Empir. Softw. Eng., 2013
Using State Infection Conditions to Detect Equivalent Mutants and Speed up Mutation Analysis
CoRR, 2013
Proceedings of the Tests and Proofs - 7th International Conference, 2013
Proceedings of the Future Internet Testing - First International Workshop, 2013
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013
Proceedings of the International Symposium on Software Testing and Analysis, 2013
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Proceedings of the Genetic and Evolutionary Computation Conference, 2013
2012
IEEE Trans. Software Eng., 2012
IEEE Trans. Software Eng., 2012
Softw. Test. Verification Reliab., 2012
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012
Proceedings of the International Symposium on Software Testing and Analysis, 2012
Proceedings of the International Symposium on Software Testing and Analysis, 2012
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
Proceedings of the 34th International Conference on Software Engineering, 2012
Proceedings of the 34th International Conference on Software Engineering, 2012
2011
Inf. Softw. Technol., 2011
Proceedings of the Search Based Software Engineering - Third International Symposium, 2011
Proceedings of the Search Based Software Engineering - Third International Symposium, 2011
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011
Proceedings of the 11th International Conference on Quality Software, 2011
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011
Proceedings of the Fundamental Approaches to Software Engineering, 2011
2010
Proceedings of the Third International Conference on Software Testing, 2010
Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010
2009
J. Log. Algebraic Methods Program., 2009
Inf. Softw. Technol., 2009
Proceedings of the Tests and Proofs - 3rd International Conference, 2009
Proceedings of the Ninth International Conference on Quality Software, 2009
Proceedings of the ASE 2009, 2009
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009
Proceedings of the 4th International Workshop on Automation of Software Test, 2009
2008
Softw. Qual. J., 2008
Using Observer Automata to Select Test Cases for Test Purposes.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008
Coverage-based Testing Using Qualitative Reasoning Models.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008
Proceedings of the Eighth International Conference on Quality Software, 2008
Proceedings of the Eighth International Conference on Quality Software, 2008
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008
Proceedings of the 3rd International Workshop on Automation of Software Test, 2008
2007
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers.
Proceedings of the Third Workshop on Model Based Testing, 2007
Elektrotech. Informationstechnik, 2007
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007
Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers.
Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007
Proceedings of the 37. Jahrestagung der Gesellschaft für Informatik, 2007
Proceedings of the Fundamental Approaches to Software Engineering, 2007
Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007
Using LTL rewriting to improve the performance of model-checker based test-case generation.
Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007
2006
ACM SIGSOFT Softw. Eng. Notes, 2006
Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis.
Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006
2005
Proceedings of the Innovations in Applied Artificial Intelligence, 2005
2004
Proceedings of the RoboCup 2004: Robot Soccer World Cup VIII, 2004
Proceedings of the Innovations in Applied Artificial Intelligence, 2004