Image de couverture de livre

A Graphics Function Standard Specification Validator

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Fraser, Steven D., Silvester, Peter P.
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

An Interactive Empirical Approach to the Validation of Software Package Specifications
par: Fraser, S. D., et autres
Publié: (2024)

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications
par: Lian, Xiaoli, et autres
Publié: (2025)

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

Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications
par: Predoaia, Ionut, et autres
Publié: (2024)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
par: Zhang, Liao, et autres
Publié: (2026)

Automated Validation of Insurance Applications against Calculation Specifications
par: Datar, Advaita, et autres
Publié: (2022)

Towards Standards-Compliant Assistive Technology Product Specifications via LLMs
par: Arora, Chetan, et autres
Publié: (2024)

Generating Project-Specific Test Cases with Requirement Validation Intention
par: Qi, Binhang, et autres
Publié: (2025)

Understanding Bug-Reproducing Tests: A First Empirical Study
par: Hora, Andre, et autres
Publié: (2026)

Challenges of Virtual Validation and Verification for Automotive Functions
par: Cabrero-Daniel, Beatriz, et autres
Publié: (2025)

Gamifying a Software Testing Course with Continuous Integration
par: Straubinger, Philipp, et autres
Publié: (2024)

Engaging Developers in Exploratory Unit Testing through Gamification
par: Straubinger, Philipp, et autres
Publié: (2024)

An IDE Plugin for Gamified Continuous Integration
par: Straubinger, Philipp, et autres
Publié: (2024)

Exceptional Behaviors: How Frequently Are They Tested?
par: Hora, Andre, et autres
Publié: (2026)

Search-based Hyperparameter Tuning for Python Unit Test Generation
par: Lukasczyk, Stephan, et autres
Publié: (2025)

RePurr: Automated Repair of Block-Based Learners' Programs
par: Schweikl, Sebastian, et autres
Publié: (2025)

Vision to Specification: Automating the Transition from Conceptual Features to Functional Requirements
par: Lian, Xiaoli, et autres
Publié: (2025)

Validating Traces of Distributed Programs Against TLA+ Specifications
par: Cirstea, Horatiu, et autres
Publié: (2024)

Sojourner under Sabotage: A Serious Testing and Debugging Game
par: Straubinger, Philipp, et autres
Publié: (2025)

Post Processing Graphical User Interface for Heat Flow Visualization
par: Olt, Lars, et autres
Publié: (2025)

Validity in Design Science
par: Larsen, K., et autres
Publié: (2025)

Engaging Young Learners with Testing Using the Code Critters Mutation Game
par: Straubinger, Philipp, et autres
Publié: (2024)

An Empirical Evaluation of Manually Created Equivalent Mutants
par: Straubinger, Philipp, et autres
Publié: (2024)

Acknowledging Good Java Code with Code Perfumes
par: Straubinger, Philipp, et autres
Publié: (2024)

Combining Type Inference and Automated Unit Test Generation for Python
par: Krodinger, Lukas, et autres
Publié: (2025)

Improving Merge Pipeline Throughput in Continuous Integration via Pull Request Prioritization
par: Jungwirth, Maximilian, et autres
Publié: (2025)

LitterBox+: An Extensible Framework for LLM-enhanced Scratch Static Code Analysis
par: Fein, Benedikt, et autres
Publié: (2025)

Teaching Loop Testing to Young Learners with the Code Critters Mutation Testing Game
par: Straubinger, Philipp, et autres
Publié: (2025)

Causal Inference for the Effect of Code Coverage on Bug Introduction
par: Schulte, Lukas, et autres
Publié: (2026)

From Personas to Programming: Gender-specific Effects of Design Thinking-Based Computing Education at Secondary Schools
par: Graßl, Isabella, et autres
Publié: (2026)

Teaching Software Testing and Debugging with the Serious Game Sojourner under Sabotage
par: Straubinger, Philipp, et autres
Publié: (2025)

Voice-Controlled Scratch for Children with (Motor) Disabilities
par: Goller, Elias, et autres
Publié: (2026)

AsserT5: Test Assertion Generation Using a Fine-Tuned Code Language Model
par: Primbs, Severin, et autres
Publié: (2025)

Zero-Shot Prompting Approaches for LLM-based Graphical User Interface Generation
par: Kolthoff, Kristian, et autres
Publié: (2024)

VDMN: A Graphical Notation for Modelling Value Driver Trees
par: Matthies, Benjamin
Publié: (2025)

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
par: Granberry, George, et autres
Publié: (2025)

Beyond Basic Specifications? A Systematic Study of Logical Constructs in LLM-based Specification Generation
par: Chen, Zehan, et autres
Publié: (2026)

Validation Framework for E-Contract and Smart Contract
par: Godboley, Sangharatna, et autres
Publié: (2025)

Gamifying Testing in IntelliJ: A Replicability Study
par: Straubinger, Philipp, et autres
Publié: (2025)

CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems
par: Odyurt, Uraz, et autres
Publié: (2025)