:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Molina, Facundo, Aguirre, Nazareno, Gorla, Alessandra
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2510.03071
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Test Oracle Automation in the era of LLMs
by: Molina, Facundo, et al.
Published: (2024)

Improving Dynamic Specification Inference with LLM-Generated Counterexamples
by: Balestra, Agustín, et al.
Published: (2026)

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

Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications
by: Castro, Pablo F., et al.
Published: (2025)

Exploring Sustainability in Scientific Software through Code Quality & Test Coverage Metrics
by: Rahman, Sheikh Md. Mushfiqur, et al.
Published: (2026)

Assessing Evaluation Metrics for Neural Test Oracle Generation
by: Shin, Jiho, et al.
Published: (2023)

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

Accurate Coverage Metrics for Compiler-Generated Debugging Information
by: Stinnett, J. Ryan, et al.
Published: (2024)

Testing with AI Agents: An Empirical Study of Test Generation Frequency, Quality, and Coverage
by: Yoshimoto, Suzuka, et al.
Published: (2026)

WuppieFuzz: Coverage-Guided, Stateful REST API Fuzzing
by: Rooijakkers, Thomas, et al.
Published: (2025)

SmartOracle -- An Agentic Approach to Mitigate Noise in Differential Oracles
by: Srinivasan, Srinath, et al.
Published: (2026)

Go-Oracle: Automated Test Oracle for Go Concurrency Bugs
by: Tsimpourlas, Foivos, et al.
Published: (2024)

Foundation Models as Oracles for Refactoring Correctness Detection
by: Gheyi, Rohit, et al.
Published: (2026)

Metamorphic Coverage
by: Ba, Jinsheng, et al.
Published: (2025)

Software Code Quality Measurement: Implications from Metric Distributions
by: Jin, Siyuan, et al.
Published: (2023)

Towards Understanding the Impact of Code Modifications on Software Quality Metrics
by: Karanikiotis, Thomas, et al.
Published: (2024)

AugmenTest: Enhancing Tests with LLM-Driven Oracles
by: Khandaker, Shaker Mahmud, et al.
Published: (2025)

SATORI: Static Test Oracle Generation for REST APIs
by: Alonso, Juan C., et al.
Published: (2025)

Towards an Oracle for Binary Decomposition Under Compilation Variance
by: Jia, Ang, et al.
Published: (2025)

TOGLL: Correct and Strong Test Oracle Generation with LLMs
by: Hossain, Soneya Binta, et al.
Published: (2024)

Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles
by: Molinelli, Davide, et al.
Published: (2025)

SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
by: Su, Jianzhong, et al.
Published: (2024)

Uncovering Scientific Software Sustainability through Community Engagement and Software Quality Metrics
by: Ahmed, Sharif, et al.
Published: (2025)

An Empirical Study on the Impact of Code Duplication-aware Refactoring Practices on Quality Metrics
by: AlOmar, Eman Abdullah
Published: (2025)

Assessing Quality Metrics for Neural Reality Gap Input Mitigation in Autonomous Driving Testing
by: Lambertenghi, Stefano Carlo, et al.
Published: (2024)

Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots
by: Wang, Xinyi, et al.
Published: (2025)

Isolating Noisy Labelled Test Cases in Human-in-the-Loop Oracle Learning
by: Kapugama, Charaka Geethal
Published: (2025)

CUBETESTERAI: Automated JUnit Test Generation using the LLaMA Model
by: Gorla, Daniele, et al.
Published: (2025)

Implicit Test Oracles for Quantum Computing
by: Langdon, William B.
Published: (2024)

Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles
by: Faria, João Pascoal, et al.
Published: (2026)

Revisiting "Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion": A Critical Review and Implications on DNN Coverage Testing
by: Kim, Jinhan, et al.
Published: (2026)

VISOR: A Vision-Language Model-based Test Oracle for Testing Robots
by: Saurabh, Prasun, et al.
Published: (2026)

Towards Modified Condition/Decision Coverage of Rust
by: Zaeske, Wanja, et al.
Published: (2024)

Generalized Coverage Criteria for Combinatorial Sequence Testing
by: Elyasaf, Achiya, et al.
Published: (2022)

Testing Agentic Workflows with Structural Coverage Criteria
by: Kahani, Nafiseh, et al.
Published: (2026)

A Black-box Testing Framework for Oracle Quantum Programs
by: Long, Peixun, et al.
Published: (2025)

Technique to Baseline QE Artefact Generation Aligned to Quality Metrics
by: Farchi, Eitan, et al.
Published: (2025)

Coverage-Guided Testing for Deep Learning Models: A Comprehensive Survey
by: Guo, Hongjing, et al.
Published: (2025)

NQC2: A Non-Intrusive QEMU Code Coverage Plugin
by: Bosbach, Nils, et al.
Published: (2026)

RBCTest: Leveraging LLMs to Mine and Verify Oracles of API Response Bodies for RESTful API Testing
by: Huynh, Hieu, et al.
Published: (2025)