Cover Image

Constraint-Guided Unit Test Generation for Machine Learning Libraries

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Krodinger, Lukas, Hajdari, Altin, Lukasczyk, Stephan, Fraser, Gordon
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Real-World Fault Detection for C-Extended Python Projects with Automated Unit Test Generation
by: Berg, Lucas, et al.
Published: (2026)

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

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

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

SBFT Tool Competition 2024 -- Python Test Case Generation Track
by: Erni, Nicolas, et al.
Published: (2024)

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

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

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

AsserT5: Test Assertion Generation Using a Fine-Tuned Code Language Model
by: Primbs, Severin, 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)

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

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

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

Generalizing Test Cases for Comprehensive Test Scenario Coverage
by: Qi, Binhang, et al.
Published: (2026)

Mutation-Guided Unit Test Generation with a Large Language Model
by: Wang, Guancheng, et al.
Published: (2025)

Combining Neuroevolution with the Search for Novelty to Improve the Generation of Test Inputs for Games
by: Feldmeier, Patric, et al.
Published: (2024)

Quo Vadis, Code Review? Exploring the Future of Code Review
by: Dorner, Michael, et al.
Published: (2025)

Test smells in LLM-Generated Unit Tests
by: Ouédraogo, Wendkûuni C., et al.
Published: (2024)

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

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

Testing Deep Learning Libraries via Neurosymbolic Constraint Learning
by: Naziri, M M Abid, et al.
Published: (2026)

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

Many-Objective Neuroevolution for Testing Games
by: Feldmeier, Patric, et al.
Published: (2025)

Improving Deep Learning Library Testing with Machine Learning
by: Molina, Facundo, et al.
Published: (2026)

Seed&Steer: Guiding Large Language Models with Compilable Prefix and Branch Signals for Unit Test Generation
by: Zhou, Shuaiyu, et al.
Published: (2025)

Automatically Generating Single-Responsibility Unit Tests
by: Galindo-Gutierrez, Geraldine
Published: (2025)

Practical Pipeline-Aware Regression Test Optimization for Continuous Integration
by: Schwendner, Daniel, et al.
Published: (2025)

Static Program Analysis Guided LLM Based Unit Test Generation
by: Roychowdhury, Sujoy, et al.
Published: (2025)

YATE: The Role of Test Repair in LLM-Based Unit Test Generation
by: Konstantinou, Michael, et al.
Published: (2025)

On the Evaluation of Large Language Models in Unit Test Generation
by: Yang, Lin, et al.
Published: (2024)

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)

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

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

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

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

No More Manual Tests? Evaluating and Improving ChatGPT for Unit Test Generation
by: Yuan, Zhiqiang, et al.
Published: (2023)