:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Wilton, Alexander C.
Format:	Preprint
Published:	2025
Subjects:	Software Engineering D.2.5; G.1.3
Online Access:	https://arxiv.org/abs/2510.13424
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Securing Mixed Rust with Hardware Capabilities
by: Yu, Jason Zhijingcheng, et al.
Published: (2025)

PathFuzzing: Worst Case Analysis by Fuzzing Symbolic-Execution Paths
by: Chen, Zimu, et al.
Published: (2025)

Tests4Py: A Benchmark for System Testing
by: Smytzek, Marius, et al.
Published: (2023)

Tuning Random Generators: Property-Based Testing as Probabilistic Programming
by: Tjoa, Ryan, et al.
Published: (2025)

CUDABeaver: Benchmarking LLM-Based Automated CUDA Debugging
by: Li, Shiyang, et al.
Published: (2026)

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

On the Soundness and Consistency of LLM Agents for Executing Test Cases Written in Natural Language
by: Salva, Sébastien, et al.
Published: (2025)

Weak Memory Demands Model-based Compiler Testing
by: Geeson, Luke
Published: (2024)

Compiler Testing With Relaxed Memory Models
by: Geeson, Luke, et al.
Published: (2023)

Mutation Analysis with Execution Taints
by: Gopinath, Rahul, et al.
Published: (2024)

A Comparative Quality Metric for Untargeted Fuzzing with Logic State Coverage
by: Lee, Gwangmu
Published: (2024)

Software Development Aspects of Integrating Linear Algebra Libraries
by: Koch, Marcel, et al.
Published: (2025)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
by: Bruzzone, Federico, et al.
Published: (2025)

How Execution Features Relate to Failures: An Empirical Study and Diagnosis Approach
by: Smytzek, Marius, et al.
Published: (2025)

A Methodological Analysis of Empirical Studies in Quantum Software Testing
by: Li, Yuechen, et al.
Published: (2026)

PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing
by: Rodríguez, María Belén, et al.
Published: (2026)

GBM Returns the Best Prediction Performance among Regression Approaches: A Case Study of Stack Overflow Code Quality
by: Licorish, Sherlock A., et al.
Published: (2025)

Control Flow Graph Recovery for Dynamically Loaded Code via Symbolic Library Resolution
by: Mostovyi, Oleksandr
Published: (2026)

Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation
by: Chen, Jinbao, et al.
Published: (2024)

A Survey of the Metrics, Uses, and Subjects of Diversity-Based Techniques in Software Testing
by: Elgendy, Islam T., et al.
Published: (2023)

Runtime Execution Traces Guided Automated Program Repair with Multi-Agent Debate
by: Wu, Jiaqing, et al.
Published: (2026)

DAInfer+: Neurosymbolic Inference of API Specifications from Documentation via Embedding Models
by: Masoudian, Maryam, et al.
Published: (2026)

A RAG Method for Source Code Inquiry Tailored to Long-Context LLMs
by: Kamiya, Toshihiro
Published: (2024)

Fuzzing the brain: Automated stress testing for the safety of ML-driven neurostimulation
by: Downing, Mara, et al.
Published: (2025)

Validating Formal Specifications with LLM-generated Test Cases
by: Cunha, Alcino, et al.
Published: (2025)

Synthesizing Test Cases for Narrowing Specification Candidates
by: Cunha, Alcino, et al.
Published: (2025)

Which Combination of Test Metrics Can Predict Success of a Software Project? A Case Study in a Year-Long Project Course
by: Filipovic, Marina, et al.
Published: (2024)

Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
by: Susan, Ştefan-Claudiu, et al.
Published: (2025)

From Program Slices to Causal Clarity: Evaluating Faithful, Actionable LLM-Generated Failure Explanations via Context Partitioning and LLM-as-a-Judge
by: Porbeck, Julius, et al.
Published: (2026)

Auto-repair without test cases: How LLMs fix compilation errors in large industrial embedded code
by: Fu, Han, et al.
Published: (2025)

Multi-modal Traffic Scenario Generation for Autonomous Driving System Testing
by: Tu, Zhi, et al.
Published: (2025)

Refining Fuzzed Crashing Inputs for Better Fault Diagnosis
by: Kim, Kieun, et al.
Published: (2025)

ErrorPrism: Reconstructing Error Propagation Paths in Cloud Service Systems
by: Pu, Junsong, et al.
Published: (2025)

From Feedback to Failure: Automated Android Performance Issue Reproduction
by: Li, Zhengquan, et al.
Published: (2025)

Synthesizing Performance Constraints for Evaluating and Improving Code Efficiency
by: Yang, Jun, et al.
Published: (2025)

PALM: Path-aware LLM-based Test Generation with Comprehension
by: Wu, Yaoxuan, et al.
Published: (2025)

Flow-of-Action: SOP Enhanced LLM-Based Multi-Agent System for Root Cause Analysis
by: Pei, Changhua, et al.
Published: (2025)

VLM-Fuzz: Vision Language Model Assisted Recursive Depth-first Search Exploration for Effective UI Testing of Android Apps
by: Demissie, Biniam Fisseha, et al.
Published: (2025)

SETBVE: Quality-Diversity Driven Exploration of Software Boundary Behaviors
by: Akbarova, Sabinakhon, et al.
Published: (2025)

PinChecker: Identifying Unsound Safe Abstractions of Rust Pinning APIs
by: Dai, Yuxuan, et al.
Published: (2025)