Gordon Fraser

Proceedings of the 19th WiPSCE Conference on Primary and Secondary Computing Education Research, 2024

Hint Cards for Common Ozobot Robot Issues: Supporting Feedback for Learning Programming in Elementary Schools.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

Improving Testing Behavior by Gamifying IntelliJ.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

Practical Flaky Test Prediction using Common Code Evolution and Test History Data.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

Neuroevolution-Based Generation of Tests and Oracles for Games.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

Introducing Block-Based Testing in Scratch.

[BibT_eX]

[DOI]

Siegfried Steckenbiller

Proceedings of the 24th Koli Calling International Conference on Computing Education Research, 2024

A Block-Based Testing Framework for Scratch.

[BibT_eX]

[DOI]

Siegfried Steckenbiller

Proceedings of the 24th Koli Calling International Conference on Computing Education Research, 2024

IntelliGame in Action: An Experience Report on Gamifying JavaScript Unit Tests.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM/IEEE Workshop on Integrated Development Environments, 2024

An IDE Plugin for Gamified Continuous Integration.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM/IEEE Workshop on Integrated Development Environments, 2024

An Empirical Evaluation of Manually Created Equivalent Mutants.

[BibT_eX]

[DOI]

Alexander Degenhart

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024

Engaging Young Learners with Testing Using the Code Critters Mutation Game.

[BibT_eX]

[DOI]

Lena Bloch

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024

Brewing Up Reliability: Espresso Test Generation for Android Apps.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

Gamifying a Software Testing Course with Continuous Integration.

[BibT_eX]

[DOI]

Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training, 2024

Productive Coverage: Improving the Actionability of Code Coverage.

[BibT_eX]

[DOI]

Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024

Do Automatic Test Generation Tools Generate Flaky Tests?

[BibT_eX]

[DOI]

Muhammad Firhard Roslan

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Equitable Student Collaboration in Pair Programming.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training, 2024

NuzzleBug: Debugging Block-Based Programs in Scratch.

[BibT_eX]

[DOI]

Adina Deiner

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Search-based Crash Reproduction for Android Apps.

[BibT_eX]

[DOI]

Dominik Diner

Proceedings of the Genetic and Evolutionary Computation Conference, 2024

Engaging Developers in Exploratory Unit Testing through Gamification.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM International Workshop on Gamification in Software Development, 2024

Combining Neuroevolution with the Search for Novelty to Improve the Generation of Test Inputs for Games.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM International Workshop on Foundations of Applied Software Engineering for Games, 2024

An Empirical Study on How Large Language Models Impact Software Testing Learning.

[BibT_eX]

[DOI]

Simone Mezzaro

Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering, 2024

Acknowledging Good Java Code with Code Perfumes.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering Education and Training, 2024

WallMauer: Robust Code Coverage Instrumentation for Android Apps.

[BibT_eX]

[DOI]

Iván Arcuschin Moreno

Proceedings of the 5th ACM/IEEE International Conference on Automation of Software Test (AST 2024), 2024

2023

Technical Perspective: What's All the Fuss about Fuzzing?

[BibT_eX]

[DOI]

Commun. ACM, November, 2023

Automated test generation for Scratch programs.

[BibT_eX]

[DOI]

Empir. Softw. Eng., June, 2023

An empirical study of automated unit test generation for Python.

[BibT_eX]

[DOI]

Stephan Lukasczyk

Florian Kroiß

Empir. Softw. Eng., March, 2023

Impact of Hint Content on Performance and Learning: A Study with Primary School Children in a Scratch Course.

[BibT_eX]

[DOI]

Proceedings of the 18th WiPSCE Conference on Primary and Secondary Computing Education Research, 2023

Generating Android Tests Using Novelty Search.

[BibT_eX]

[DOI]

Michael Pusl

Proceedings of the Search-Based Software Engineering - 15th International Symposium, 2023

Automatisiertes Feedback für block-basierte Programmiersprachen.

[BibT_eX]

[DOI]

Proceedings of the Informatikunterricht zwischen Aktualität und Zeitlosigkeit: 20. GI-Fachtagung Informatik und Schule, 2023

Ein Seminarkonzept zum algorithmischen Denken im Grundschullehramtsstudium.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Informatikunterricht zwischen Aktualität und Zeitlosigkeit: 20. GI-Fachtagung Informatik und Schule, 2023

Musikprogrammierung als universeller Motivator in der Programmierausbildung.

[BibT_eX]

[DOI]

Proceedings of the Informatikunterricht zwischen Aktualität und Zeitlosigkeit: 20. GI-Fachtagung Informatik und Schule, 2023

Exploring Android Apps Using Motif Actions.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, 2023

Effects of Automated Feedback in Scratch Programming Tutorials.

[BibT_eX]

[DOI]

Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1, 2023

Exploring Programming Task Creation of Primary School Teachers in Training.

[BibT_eX]

[DOI]

Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1, 2023

ScratchLog: Live Learning Analytics for Scratch.

[BibT_eX]

[DOI]

Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1, 2023

A Survey on What Developers Think About Testing.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

Code Critters: A Block-Based Testing Game.

[BibT_eX]

[DOI]

Laura Caspari

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

Android Fuzzing: Balancing User-Inputs and Intents.

[BibT_eX]

[DOI]

Andreas Stahlbauer

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

EVOSUITE at the SBFT 2023 Tool Competition.

[BibT_eX]

[DOI]

Sebastian Schweikl

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?

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

FlaPy: Mining Flaky Python Tests at Scale.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

On the Applicability of Language Models to Block-Based Programs.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Exposing Software Engineering Students to Stressful Projects: Does Diversity Matter?

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2023

PlayTest: A Gamified Test Generator for Games.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Gamification in Software Development, 2023

Diversity and Teamwork in Student Software Teams.

[BibT_eX]

[DOI]

Stephan Krusche

Proceedings of the 5th European Conference on Software Engineering Education, 2023

Debugging Flaky Tests using Spectrum-based Fault Localization.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2023

2022

Practical Mutation Testing at Scale: A view from Google.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

Test smells 20 years later: detectability, validity, and reliability.

[BibT_eX]

[DOI]

Sebastiano Panichella

Anand Ashok Sawant

Vincent J. Hellendoorn

Empir. Softw. Eng., 2022

Common Patterns in Block-Based Robot Programs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the WiPSCE '22: The 17th Workshop in Primary and Secondary Computing Education, Morschach, Switzerland, 31 October 2022, 2022

Gender-dependent Contribution, Code and Creativity in a Virtual Programming Course.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, 2022

Search-Based Test Suite Generation for Rust.

[BibT_eX]

[DOI]

Vsevolod Tymofyeyev

Proceedings of the Search-Based Software Engineering - 14th International Symposium, 2022

Improving Search-Based Android Test Generation Using Surrogate Models.

[BibT_eX]

[DOI]

Felix Adler

Proceedings of the Search-Based Software Engineering - 14th International Symposium, 2022

An Empirical Study of Flaky Tests in Python.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2022, 2022

EvoSuite at the SBST 2022 Tool Competition.

[BibT_eX]

[DOI]

Sebastian Schweikl

Proceedings of the 15th IEEE/ACM International Workshop on Search-Based Software Testing, 2022

CATNIP: An Automated Hint Generation Tool for Scratch.

[BibT_eX]

[DOI]

Benedikt Fein

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.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Model-based Testing of Scratch Programs.

[BibT_eX]

[DOI]

Katharina Götz

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Gamekins: Gamifying Software Testing in Jenkins.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

CRISCE: Towards Generating Test Cases from Accident Sketches.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

Pynguin: Automated Unit Test Generation for Python.

[BibT_eX]

[DOI]

Stephan Lukasczyk

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.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Society ICSE (SEIS) 2022, 2022

Diagnosability, Adequacy & Size: How Test Suites Impact Autograding.

[BibT_eX]

[DOI]

Benjamin Simon Clegg

Proceedings of the 55th Hawaii International Conference on System Sciences, 2022

Gamifying software testing (keynote).

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Gamification of Software Development, 2022

An Evaluation of code2vec Embeddings for Scratch.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Educational Data Mining, 2022

Generating Critical Driving Scenarios from Accident Sketches.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2022

2021

SnapCheck: Automated Testing for Snap Programs.

[BibT_eX]

[DOI]

CoRR, 2021

Practical Mutation Testing at Scale.

[BibT_eX]

[DOI]

CoRR, 2021

Code Perfumes: Reporting Good Code to Encourage Learners.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the WiPSCE '21: The 16th Workshop in Primary and Secondary Computing Education, 2021

Data-driven Analysis of Gender Differences and Similarities in Scratch Programs.

[BibT_eX]

[DOI]

Katharina Geldreich

Proceedings of the WiPSCE '21: The 16th Workshop in Primary and Secondary Computing Education, 2021

Generating Timed UI Tests from Counterexamples.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 15th International Conference, 2021

Graph-based seed object synthesis for search-based unit testing.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Benjamin Simon Clegg

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

Improving Readability of Scratch Programs with Search-based Refactoring.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Working Conference on Source Code Analysis and Manipulation, 2021

Evosuite at the SBST 2021 Tool Competition.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Koli Calling '21: 21st Koli Calling International Conference on Computing Education Research, Joensuu, Finland, November 18, 2021

SnapCheck: Automated Testing for Snap<i>!</i> Programs.

[BibT_eX]

[DOI]

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

Guiding Next-Step Hint Generation Using Automated Tests.

[BibT_eX]

[DOI]

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

Does mutation testing improve testing practices?

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Finding Anomalies in Scratch Assignments.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, 2021

Gradeer: An Open-Source Modular Hybrid Grader.

[BibT_eX]

[DOI]

Benjamin S. Clegg

Maria-Cruz Villa-Uriol

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, 2021

LitterBox: A Linter for Scratch Programs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Sebastian Vogl

Sebastian Schweikl

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).

[BibT_eX]

[DOI]

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.

[BibT_eX]

Proceedings of the 14th International Conference on Educational Data Mining, 2021

2020

An Experience of Introducing Primary School Children to Programming using Ozobots.

[BibT_eX]

[DOI]

CoRR, 2020

Automated Unit Test Generation for Python.

[BibT_eX]

[DOI]

Stephan Lukasczyk

Florian Kroiß

Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020

Search-Based Testing for Scratch Programs.

[BibT_eX]

[DOI]

Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020

Measuring and Maintaining Population Diversity in Search-Based Unit Test Generation.

[BibT_eX]

[DOI]

Nasser M. Albunian

Dirk Sudholt

Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020

Testing Scratch Programs Automatically.

[BibT_eX]

[DOI]

Andreas Stahlbauer

Marvin Kreis

Proceedings of the Software Engineering 2020, 2020

Verified from Scratch: Program Analysis for Learners' Programs.

[BibT_eX]

[DOI]

Andreas Stahlbauer

Christoph Frädrich

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.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Common Bugs in Scratch Programs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Revisiting Test Smells in Automatically Generated Tests: Limitations, Pitfalls, and Opportunities.

[BibT_eX]

[DOI]

Sebastiano Panichella

Anand Ashok Sawant

Vincent J. Hellendoorn

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

EvoSuite at the SBST 2020 Tool Competition.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

Causes and effects of fitness landscapes in unit test generation.

[BibT_eX]

[DOI]

Nasser M. Albunian

Dirk Sudholt

Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

Motivating Adult Learners by Introducing Programming Concepts with Scratch.

[BibT_eX]

[DOI]

Maren Krafft

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Benjamin S. Clegg

Proceedings of the 32nd IEEE Conference on Software Engineering Education and Training, 2020

2019

Improving Scratch Programming with CRC-Card Design.

[BibT_eX]

[DOI]

Proceedings of the 14th Workshop in Primary and Secondary Computing Education, 2019

Code coverage at Google.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Generating effective test cases for self-driving cars from police reports.

[BibT_eX]

[DOI]

Tri Huynh

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Gamifying a Software Testing Course with Code Defenders.

[BibT_eX]

[DOI]

Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

Code Defenders: A Mutation Testing Game.

[BibT_eX]

[DOI]

Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

An Empirical Evaluation of Search Algorithms for App Testing.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2019

IMPRESS: Improving Engagement in Software Engineering Courses Through Gamification.

[BibT_eX]

[DOI]

Proceedings of the Product-Focused Software Process Improvement, 2019

Improving random GUI testing with image-based widget detection.

[BibT_eX]

[DOI]

Thomas D. White

Guy J. Brown

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.

[BibT_eX]

[DOI]

Marc Müller

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

An Empirical Study on the Use of Defect Prediction for Test Case Prioritization.

[BibT_eX]

[DOI]

David Paterson

Rui Abreu

Gregory M. Kapfhammer

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Parallel Many-Objective Search for Unit Tests.

[BibT_eX]

[DOI]

Verena Bader

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

AC3R: automatically reconstructing car crashes from police reports.

[BibT_eX]

[DOI]

Tri Huynh

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

AsFault: testing self-driving car software using search-based procedural content generation.

[BibT_eX]

[DOI]

Marc Müller

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Automatically reconstructing car crashes from police reports for testing self-driving cars.

[BibT_eX]

[DOI]

Tri Huynh

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Simulating student mistakes to evaluate the fairness of automated grading.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, 2019

EvoSuiTE at the SBST 2019 tool competition.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Search-Based Software Testing, 2019

Software Testing.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Software Engineering., 2019

2018

Random or evolutionary search for object-oriented test suite generation?

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2018

Special issue on automation of software testing: improving practical applicability.

[BibT_eX]

[DOI]

Softw. Qual. J., 2018

An empirical evaluation of evolutionary algorithms for unit test suite generation.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2018

A Tutorial on Using and Extending the EvoSuite Search-Based Test Generator.

[BibT_eX]

[DOI]

Proceedings of the Search-Based Software Engineering - 10th International Symposium, 2018

Code Defenders.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering und Software Management 2018, 2018

Search-based detection of deviation failures in the migration of legacy spreadsheet applications.

[BibT_eX]

[DOI]

Mohammad Moein Almasi

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Modelling Hand Gestures to Test Leap Motion Controlled Applications.

[BibT_eX]

[DOI]

Thomas D. White

Guy J. Brown

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

How Do Automatically Generated Unit Tests Influence Software Maintenance?

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Automated Accessibility Testing of Mobile Apps.

[BibT_eX]

[DOI]

Marcelo Medeiros Eler

Yan Ge

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.

[BibT_eX]

[DOI]

David Paterson

Gregory M. Kapfhammer

Proceedings of the 13th International Workshop on Automation of Software Test, 2018

Evosuite at the SBST 2018 tool competition.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 3rd European Conference of Software Engineering Education, 2018

A survey on the tool support for the automatic evaluation of mobile accessibility.

[BibT_eX]

[DOI]

Camila Silva

Marcelo Medeiros Eler

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).

[BibT_eX]

[DOI]

Darko Marinov

Softw. Test. Verification Reliab., 2017

A detailed investigation of the effectiveness of whole test suite generation.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2017

An Empirical Evaluation of Evolutionary Algorithms for Test Suite Generation.

[BibT_eX]

[DOI]

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?

[BibT_eX]

[DOI]

Ermira Daka

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Uncertainty-Driven Black-Box Test Data Generation.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Private API Access and Functional Mocking in Automated Unit Test Generation.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Disposable testing: avoiding maintenance of generated unit tests by throwing them away.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

Code defenders: crowdsourcing effective tests and subtle mutants with a mutation testing game.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

Is Search-Based Unit Test Generation Research Stuck in a Local Optimum?

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017

Evaluating and improving fault localization.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

EvoSuite at the SBST 2017 Tool Competition.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017

Gamification of Software Testing.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE/ACM International Workshop on Automation of Software Testing, 2017

Teaching Software Testing Concepts Using a Mutation Testing Game.

[BibT_eX]

[DOI]

Benjamin S. Clegg

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.

[BibT_eX]

[DOI]

Mohammad Moein Almasi

Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice Track, 2017

2016

A Survey on Metamorphic Testing.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2016

Seeding strategies in search-based unit test generation.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2016

Java Enterprise Edition Support in Search-Based JUnit Test Generation.

[BibT_eX]

[DOI]

Proceedings of the Search Based Software Engineering - 8th International Symposium, 2016

Teaching Software Testing with a Mutation Testing Game.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual Workshop of the Psychology of Programming Interest Group, 2016

Code Defenders: A Mutation Testing Game.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

Unit Test Generation During Software Development: EvoSuite Plugins for Maven, IntelliJ and Jenkins.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Mark Harman

Gregory M. Kapfhammer

Proceedings of the 9th International Workshop on Search-Based Software Testing, 2016

EvoSuite at the SBST 2016 tool competition.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Search-Based Software Testing, 2016

2015

Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2015

Assessing and generating test sets in terms of behavioural adequacy.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2015

A Memetic Algorithm for whole test suite generation.

[BibT_eX]

[DOI]

J. Syst. Softw., 2015

Achieving scalable mutation-based generation of whole test suites.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2015

1600 faults in 100 projects: automatically finding faults while achieving high coverage with EvoSuite.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2015

Combining Multiple Coverage Criteria in Search-Based Unit Test Generation.

[BibT_eX]

[DOI]

Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015

Parameter Control in Search-Based Generation of Unit Test Suites.

[BibT_eX]

[DOI]

Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015

Generating Readable Unit Tests for Guava.

[BibT_eX]

[DOI]

Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015

Continuous Test Generation on Guava.

[BibT_eX]

[DOI]

Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015

Modeling readability to improve unit tests.

[BibT_eX]

[DOI]

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Generating TCP/UDP network data for automated unit test generation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Michael D. Ernst

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Automatische Erzeugung von Unit Tests für Klassen mit Umgebungs-Abhängigkeiten.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015

2nd International Workshop on Crowd Sourcing in Software Engineering (CSI-SE 2015).

[BibT_eX]

[DOI]

Thomas D. LaToza

Leonardo Mariani

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

EvoSuite at the SBST 2015 Tool Competition.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015

Random or Genetic Algorithm Search for Object-Oriented Test Suite Generation?

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2015

2014

A Large-Scale Evaluation of Automated Unit Test Generation Using EvoSuite.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2014

Search-based testing using constraint-based mutation.

[BibT_eX]

[DOI]

Jan Malburg

Softw. Test. Verification Reliab., 2014

Guest editorial: Search-based software engineering.

[BibT_eX]

[DOI]

Jerffeson Teixeira de Souza

Empir. Softw. Eng., 2014

Automating Full Functional Verification of Programs with Loops.

[BibT_eX]

[DOI]

CoRR, 2014

Automated Test Generation for Java Generics.

[BibT_eX]

[DOI]

Proceedings of the Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering, 2014

On the Effectiveness of Whole Test Suite Generation.

[BibT_eX]

[DOI]

José Carlos Medeiros de Campos

Proceedings of the Search-Based Software Engineering - 6th International Symposium, 2014

Are mutants a valid substitute for real faults in software testing?

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Rui Filipe Lima Maranhão de Abreu

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Automated unit test generation for classes with environment dependencies.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Efficient mutation analysis by propagating and partitioning infected execution states.

[BibT_eX]

[DOI]

Michael D. Ernst

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Extending a search-based test generator with adaptive dynamic symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2014

A Survey on Unit Testing Practices and Problems.

[BibT_eX]

[DOI]

Ermira Daka

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014

Automatic Testing of Natural User Interfaces.

[BibT_eX]

[DOI]

Chris J. Hunt

Guy J. Brown

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2014

2013

Whole Test Suite Generation.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

Handling test length bloat.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2013

Guest editor's introduction to the special section on tests and proofs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Anthony J. H. Simons

Leonardo Bottaci

Softw. Pract. Exp., 2013

Special section on Mutation testing (Mutation 2010).

[BibT_eX]

[DOI]

Lydie du Bousquet

Jeremy S. Bradbury

Sci. Comput. Program., 2013

Parameter tuning or default values? An empirical investigation in search-based software engineering.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2013

Using State Infection Conditions to Detect Equivalent Mutants and Speed up Mutation Analysis

[BibT_eX]

[DOI]

Michael D. Ernst

CoRR, 2013

Generating Test Suites with Augmented Dynamic Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 7th International Conference, 2013

EvoSuite at the Second Unit Testing Tool Competition.

[BibT_eX]

[DOI]

Proceedings of the Future Internet Testing - First International Workshop, 2013

Entropy-based test generation for improved fault localization.

[BibT_eX]

[DOI]

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Does automated white-box test generation really help software testers?

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Search-based data-flow test generation.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Improving search-based test suite generation with dynamic symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Generating Unit Tests for Concurrent Classes.

[BibT_eX]

[DOI]

Sebastian Steenbuck

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Search-Based Propagation of Regression Faults in Automated Regression Testing.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Reconstructing Core Dumps.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

CrowdOracles: Can the Crowd Solve the Oracle Problem?

[BibT_eX]

[DOI]

Fabrizio Pastore

Leonardo Mariani

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

EvoSuite at the SBST 2013 Tool Competition.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

EvoSuite: On the Challenges of Test Case Generation in the Real World.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Test suite generation with memetic algorithms.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2013

2012

Mutation-Driven Generation of Unit Tests and Oracles.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2012

Automatically Generating Test Cases for Specification Mining.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2012

Guest Editorial for the Special Issue on Model-Based Testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2012

Augmented dynamic symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Isolating failure causes through test case generation.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2012

Search-based system testing: high coverage, no false alarms.

[BibT_eX]

[DOI]

Florian Gross

Proceedings of the International Symposium on Software Testing and Analysis, 2012

Semi-automatic Search-Based Test Generation.

[BibT_eX]

[DOI]

Yury Pavlov

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Behaviourally Adequate Software Testing.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

The Seed is Strong: Seeding Strategies in Search-Based Software Testing.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

EXSYST: Search-based GUI testing.

[BibT_eX]

[DOI]

Florian Gross

Proceedings of the 34th International Conference on Software Engineering, 2012

Sound empirical evidence in software testing.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Generating minimal fault detecting test suites for general Boolean specifications.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2011

Guest Editorial for Special Section on Mutation Testing.

[BibT_eX]

[DOI]

Benoit Baudry

Jeremy S. Bradbury

Inf. Softw. Technol., 2011

Bytecode Testability Transformation.

[BibT_eX]

[DOI]

Yanchuan Li

Proceedings of the Search Based Software Engineering - Third International Symposium, 2011

On Parameter Tuning in Search Based Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Search Based Software Engineering - Third International Symposium, 2011

EvoSuite: automatic test suite generation for object-oriented software.

[BibT_eX]

[DOI]

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

Evolutionary Generation of Whole Test Suites.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Quality Software, 2011

Combining search-based and constraint-based testing.

[BibT_eX]

[DOI]

Jan Malburg

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Generating parameterized unit tests.

[BibT_eX]

[DOI]

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Exploiting Common Object Usage in Test Case Generation.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

It is Not the Length That Matters, It is How You Control It.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Testing Container Classes: Random or Systematic?

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010

Generating Minimal Fault Detecting Test Suites for Boolean Expressions.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

AUTOMOCK: Automated Synthesis of a Mock Environment for Test Case Generation.

[BibT_eX]

[DOI]

Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

2009

Testing with model checkers: a survey.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2009

Issues in using model checkers for test case generation.

[BibT_eX]

[DOI]

J. Syst. Softw., 2009

On the order of test goals in specification-based testing.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2009

Using coverage to automate and improve test purpose based testing.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2009

Complementary Criteria for Testing Temporal Logic Properties.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 3rd International Conference, 2009

Increasing Diversity in Coverage Test Suites Using Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Quality Software, 2009

Using Spectrum-Based Fault Localization for Test Case Grouping.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

An Evaluation of Model Checkers for Specification Based Test Case Generation.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Experiments on the Test Case Length in Specification Based Test Case Generation.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Automation of Software Test, 2009

2008

Using model-checkers to generate and analyze property relevant test-cases.

[BibT_eX]

[DOI]

Softw. Qual. J., 2008

Using Observer Automata to Select Test Cases for Test Purposes.

[BibT_eX]

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Coverage-based Testing Using Qualitative Reasoning Models.

[BibT_eX]

Harald Brandl

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Coverage Based Testing with Test Purposes.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quality Software, 2008

Reachability and Propagation for LTL Requirements Testing.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quality Software, 2008

Ordering Coverage Goals in Model Checker Based Testing.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

QR-Model Based Testing.

[BibT_eX]

[DOI]

Harald Brandl

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.

[BibT_eX]

[DOI]

Bernhard K. Aichernig

Proceedings of the Third Workshop on Model Based Testing, 2007

Using formal methods for ensuring quality requirements of systems.

[BibT_eX]

[DOI]

Elektrotech. Informationstechnik, 2007

Nondeterministic Testing with Linear Model-Checker Counterexamples.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

Improving Model-Checkers for Software Testing.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

Creating Test-Cases Incrementally with Model-Checkers.

[BibT_eX]

[DOI]

Proceedings of the 37. Jahrestagung der Gesellschaft für Informatik, 2007

Redundancy Based Test-Suite Reduction.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2007

Relating counterexamples to test cases in CTL model checking specifications.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2006

Property relevant software testing with model-checkers.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2006

Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006

2005

Plan Execution in Dynamic Environments.

[BibT_eX]

[DOI]

Gerald Steinbauer

Proceedings of the Innovations in Applied Artificial Intelligence, 2005

2004

Cooperative Planning and Plan Execution in Partially Observable Dynamic Domains.

[BibT_eX]

[DOI]