:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Fraser, Steven D., Silvester, Peter P.
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2401.17599
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An Interactive Empirical Approach to the Validation of Software Package Specifications
by: Fraser, S. D., et al.
Published: (2024)

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications
by: Lian, Xiaoli, et al.
Published: (2025)

XP2021 Experience Report: Five Strategies for the Future of Work: Accelerating Innovation through Tech Transfer
by: Fraser, Steven
Published: (2024)

Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications
by: Predoaia, Ionut, et al.
Published: (2024)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
by: Zhang, Liao, et al.
Published: (2026)

Automated Validation of Insurance Applications against Calculation Specifications
by: Datar, Advaita, et al.
Published: (2022)

Towards Standards-Compliant Assistive Technology Product Specifications via LLMs
by: Arora, Chetan, et al.
Published: (2024)

Generating Project-Specific Test Cases with Requirement Validation Intention
by: Qi, Binhang, et al.
Published: (2025)

Understanding Bug-Reproducing Tests: A First Empirical Study
by: Hora, Andre, et al.
Published: (2026)

Challenges of Virtual Validation and Verification for Automotive Functions
by: Cabrero-Daniel, Beatriz, et al.
Published: (2025)

Validating Traces of Distributed Programs Against TLA+ Specifications
by: Cirstea, Horatiu, et al.
Published: (2024)

Gamifying a Software Testing Course with Continuous Integration
by: Straubinger, Philipp, et al.
Published: (2024)

Engaging Developers in Exploratory Unit Testing through Gamification
by: Straubinger, Philipp, et al.
Published: (2024)

An IDE Plugin for Gamified Continuous Integration
by: Straubinger, Philipp, et al.
Published: (2024)

Exceptional Behaviors: How Frequently Are They Tested?
by: Hora, Andre, et al.
Published: (2026)

Search-based Hyperparameter Tuning for Python Unit Test Generation
by: Lukasczyk, Stephan, et al.
Published: (2025)

RePurr: Automated Repair of Block-Based Learners' Programs
by: Schweikl, Sebastian, et al.
Published: (2025)

Sojourner under Sabotage: A Serious Testing and Debugging Game
by: Straubinger, Philipp, et al.
Published: (2025)

Vision to Specification: Automating the Transition from Conceptual Features to Functional Requirements
by: Lian, Xiaoli, et al.
Published: (2025)

Validity in Design Science
by: Larsen, K., et al.
Published: (2025)

Post Processing Graphical User Interface for Heat Flow Visualization
by: Olt, Lars, et al.
Published: (2025)

VDMN: A Graphical Notation for Modelling Value Driver Trees
by: Matthies, Benjamin
Published: (2025)

Engaging Young Learners with Testing Using the Code Critters Mutation Game
by: Straubinger, Philipp, et al.
Published: (2024)

An Empirical Evaluation of Manually Created Equivalent Mutants
by: Straubinger, Philipp, et al.
Published: (2024)

Acknowledging Good Java Code with Code Perfumes
by: Straubinger, Philipp, et al.
Published: (2024)

Combining Type Inference and Automated Unit Test Generation for Python
by: Krodinger, Lukas, et al.
Published: (2025)

Improving Merge Pipeline Throughput in Continuous Integration via Pull Request Prioritization
by: Jungwirth, Maximilian, et al.
Published: (2025)

LitterBox+: An Extensible Framework for LLM-enhanced Scratch Static Code Analysis
by: Fein, Benedikt, et al.
Published: (2025)

Teaching Loop Testing to Young Learners with the Code Critters Mutation Testing Game
by: Straubinger, Philipp, et al.
Published: (2025)

Causal Inference for the Effect of Code Coverage on Bug Introduction
by: Schulte, Lukas, et al.
Published: (2026)

From Personas to Programming: Gender-specific Effects of Design Thinking-Based Computing Education at Secondary Schools
by: Graßl, Isabella, et al.
Published: (2026)

Teaching Software Testing and Debugging with the Serious Game Sojourner under Sabotage
by: Straubinger, Philipp, et al.
Published: (2025)

Voice-Controlled Scratch for Children with (Motor) Disabilities
by: Goller, Elias, et al.
Published: (2026)

AsserT5: Test Assertion Generation Using a Fine-Tuned Code Language Model
by: Primbs, Severin, et al.
Published: (2025)

Zero-Shot Prompting Approaches for LLM-based Graphical User Interface Generation
by: Kolthoff, Kristian, et al.
Published: (2024)

Gamifying Testing in IntelliJ: A Replicability Study
by: Straubinger, Philipp, et al.
Published: (2025)

CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems
by: Odyurt, Uraz, et al.
Published: (2025)

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
by: Granberry, George, et al.
Published: (2025)

IntelliGame in Action: An Experience Report on Gamifying JavaScript Unit Tests
by: Straubinger, Philipp, et al.
Published: (2024)

Mutation Testing via Iterative Large Language Model-Driven Scientific Debugging
by: Straubinger, Philipp, et al.
Published: (2025)