:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Ricós, Fernando Pastor, Marín, Beatriz, Prasetya, I. S. W. B., Vos, Tanja E. J., Davidson, Joseph, Hovorka, Karel
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2506.17057
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Talk is Cheap, Logic is Hard: Benchmarking LLMs on Post-Condition Formalization
by: Prasetya, I. S. W. B., et al.
Published: (2026)

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

Curiosity Driven Multi-agent Reinforcement Learning for 3D Game Testing
by: Ferdous, Raihana, et al.
Published: (2025)

90% Faster, 100% Code-Free: MLLM-Driven Zero-Code 3D Game Development
by: Yang, Runxin, et al.
Published: (2025)

Reclaiming Software Engineering as the Enabling Technology for the Digital Age
by: Vos, Tanja E. J., et al.
Published: (2026)

Teaching Design Science as a Method for Effective Research Development
by: Pastor, Oscar, et al.
Published: (2024)

An Empirical Study of GenAI Adoption in Open-Source Game Development: Tools, Tasks, and Developer Challenges
by: Chen, Xiang Echo, et al.
Published: (2025)

Assisting Novice Developers Learning in Flutter Through Cognitive-Driven Development
by: Ferreira, Ronivaldo, et al.
Published: (2024)

A Comparative Study on the Impact of Test-Driven Development (TDD) and Behavior-Driven Development (BDD) on Enterprise Software Delivery Effectiveness
by: Cui, Jun
Published: (2024)

Agent-Driven Automatic Software Improvement
by: Ruiz, Fernando Vallecillos
Published: (2024)

ABTest: Behavior-Driven Testing for AI Coding Agents
by: Dai, Wuyang, et al.
Published: (2026)

Pre-Release Experimentation in Indie Game Development: An Interview Survey
by: Linåker, Johan, et al.
Published: (2024)

Cooperative Multi-agent Approach for Automated Computer Game Testing
by: Shirzadeh-hajimahmood, Samira, et al.
Published: (2024)

Using Agile Story Points and Game Theory Together: Better Software Planning and Development in Agile Software Development
by: Bildirici, Fatih, et al.
Published: (2024)

Large Language Models in Game Development: Implications for Gameplay, Playability, and Player Experience
by: Johnson, Keeryn, et al.
Published: (2026)

Bot-Driven Development: From Simple Automation to Autonomous Software Development Bots
by: Treude, Christoph, et al.
Published: (2024)

Toward Inclusive AI-Driven Development: Exploring Gender Differences in Code Generation Tool Interactions
by: Basha, Manaal, et al.
Published: (2025)

Generative AI for Test Driven Development: Preliminary Results
by: Mock, Moritz, et al.
Published: (2024)

Improving Software Engineering Team Communication Through Stronger Social Networks
by: Clarke, April, et al.
Published: (2025)

Behaviour Driven Development Scenario Generation with Large Language Models
by: Rathnayake, Amila, et al.
Published: (2026)

On the Road to Personalized Code Intelligence: Portraiting and Assisting Developers Based on Their In-IDE Behaviors
by: Liu, Yuhong, et al.
Published: (2026)

Developer Experience with AI Coding Agents: HTTP Behavioral Signatures in Documentation Portals
by: Borysenko, Oleksii
Published: (2026)

OpenGame: Open Agentic Coding for Games
by: Jiang, Yilei, et al.
Published: (2026)

Instruction-Driven Game Engine: A Poker Case Study
by: Wu, Hongqiu, et al.
Published: (2024)

Recommendations for Efficient and Responsible LLM Adoption within Industrial Software Development
by: Ronanki, Krishna, et al.
Published: (2026)

Sedeve-Kit, a Specification-Driven Development Framework for Building Distributed Systems
by: Guo, Hua, et al.
Published: (2025)

"Sorry for bugging you so much." Exploring Developers' Behavior Towards Privacy-Compliant Implementation
by: Horstmann, Stefan Albert, et al.
Published: (2025)

Mazocarta: A Seeded Procedural Deckbuilder for Instrumented Game Development
by: Cogan, Timothy C.
Published: (2026)

Developing a Model-Driven Reengineering Approach for Migrating PL/SQL Triggers to Java: A Practical Experience
by: Fernandez-Candel, Carlos J., et al.
Published: (2025)

QuanUML: Towards A Modeling Language for Model-Driven Quantum Software Development
by: Guo, Xiaoyu, et al.
Published: (2025)

V-GameGym: Visual Game Generation for Code Large Language Models
by: Zhang, Wei, et al.
Published: (2025)

Test-Driven Development for Code Generation
by: Mathews, Noble Saji, et al.
Published: (2024)

The Kubernetes Security Landscape: AI-Driven Insights from Developer Discussions
by: Curtis, J. Alexander, et al.
Published: (2024)

EASELAN: An Open-Source Framework for Multimodal Biosignal Annotation and Data Management
by: Rammohan, Rathi Adarshi, et al.
Published: (2025)

Learning Service Selection Decision Making Behaviors During Scientific Workflow Development
by: Xie, Xihao, et al.
Published: (2024)

GameDevBench: Evaluating Agentic Capabilities Through Game Development
by: Chi, Wayne, et al.
Published: (2026)

Security Implications of User Non-compliance Behavior to Software Updates: A Risk Assessment Study
by: Tamanna, Mahzabin, et al.
Published: (2024)

Preparing Students for AI-Driven Agile Development: A Project-Based AI Engineering Curriculum
by: Rausch, Andreas, et al.
Published: (2026)

Write Your Own CodeChecker: An Automated Test-Driven Checker Development Approach with LLMs
by: Liu, Jun, et al.
Published: (2024)

Domain-Driven Design in Software Development: A Systematic Literature Review on Implementation, Challenges, and Effectiveness
by: Özkan, Ozan, et al.
Published: (2023)