Saved in:
| Main Authors: | Molina, Facundo, Aguirre, Nazareno, Gorla, Alessandra |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| 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)
by: Molina, Facundo, et al.
Published: (2024)
Improving Dynamic Specification Inference with LLM-Generated Counterexamples
by: Balestra, Agustín, et al.
Published: (2026)
by: Balestra, Agustín, et al.
Published: (2026)
Improving Deep Learning Library Testing with Machine Learning
by: Molina, Facundo, et al.
Published: (2026)
by: Molina, Facundo, et al.
Published: (2026)
Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications
by: Castro, Pablo F., et al.
Published: (2025)
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)
by: Rahman, Sheikh Md. Mushfiqur, et al.
Published: (2026)
Assessing Evaluation Metrics for Neural Test Oracle Generation
by: Shin, Jiho, et al.
Published: (2023)
by: Shin, Jiho, et al.
Published: (2023)
A Comparative Quality Metric for Untargeted Fuzzing with Logic State Coverage
by: Lee, Gwangmu
Published: (2024)
by: Lee, Gwangmu
Published: (2024)
Accurate Coverage Metrics for Compiler-Generated Debugging Information
by: Stinnett, J. Ryan, et al.
Published: (2024)
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)
by: Yoshimoto, Suzuka, et al.
Published: (2026)
WuppieFuzz: Coverage-Guided, Stateful REST API Fuzzing
by: Rooijakkers, Thomas, et al.
Published: (2025)
by: Rooijakkers, Thomas, et al.
Published: (2025)
SmartOracle -- An Agentic Approach to Mitigate Noise in Differential Oracles
by: Srinivasan, Srinath, et al.
Published: (2026)
by: Srinivasan, Srinath, et al.
Published: (2026)
Go-Oracle: Automated Test Oracle for Go Concurrency Bugs
by: Tsimpourlas, Foivos, et al.
Published: (2024)
by: Tsimpourlas, Foivos, et al.
Published: (2024)
Foundation Models as Oracles for Refactoring Correctness Detection
by: Gheyi, Rohit, et al.
Published: (2026)
by: Gheyi, Rohit, et al.
Published: (2026)
Metamorphic Coverage
by: Ba, Jinsheng, et al.
Published: (2025)
by: Ba, Jinsheng, et al.
Published: (2025)
Software Code Quality Measurement: Implications from Metric Distributions
by: Jin, Siyuan, et al.
Published: (2023)
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)
by: Karanikiotis, Thomas, et al.
Published: (2024)
AugmenTest: Enhancing Tests with LLM-Driven Oracles
by: Khandaker, Shaker Mahmud, et al.
Published: (2025)
by: Khandaker, Shaker Mahmud, et al.
Published: (2025)
SATORI: Static Test Oracle Generation for REST APIs
by: Alonso, Juan C., et al.
Published: (2025)
by: Alonso, Juan C., et al.
Published: (2025)
Towards an Oracle for Binary Decomposition Under Compilation Variance
by: Jia, Ang, et al.
Published: (2025)
by: Jia, Ang, et al.
Published: (2025)
TOGLL: Correct and Strong Test Oracle Generation with LLMs
by: Hossain, Soneya Binta, et al.
Published: (2024)
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)
by: Molinelli, Davide, et al.
Published: (2025)
SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
by: Su, Jianzhong, et al.
Published: (2024)
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)
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)
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)
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)
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)
by: Kapugama, Charaka Geethal
Published: (2025)
CUBETESTERAI: Automated JUnit Test Generation using the LLaMA Model
by: Gorla, Daniele, et al.
Published: (2025)
by: Gorla, Daniele, et al.
Published: (2025)
Implicit Test Oracles for Quantum Computing
by: Langdon, William B.
Published: (2024)
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)
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)
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)
by: Saurabh, Prasun, et al.
Published: (2026)
Towards Modified Condition/Decision Coverage of Rust
by: Zaeske, Wanja, et al.
Published: (2024)
by: Zaeske, Wanja, et al.
Published: (2024)
Generalized Coverage Criteria for Combinatorial Sequence Testing
by: Elyasaf, Achiya, et al.
Published: (2022)
by: Elyasaf, Achiya, et al.
Published: (2022)
Testing Agentic Workflows with Structural Coverage Criteria
by: Kahani, Nafiseh, et al.
Published: (2026)
by: Kahani, Nafiseh, et al.
Published: (2026)
A Black-box Testing Framework for Oracle Quantum Programs
by: Long, Peixun, et al.
Published: (2025)
by: Long, Peixun, et al.
Published: (2025)
Technique to Baseline QE Artefact Generation Aligned to Quality Metrics
by: Farchi, Eitan, et al.
Published: (2025)
by: Farchi, Eitan, et al.
Published: (2025)
Coverage-Guided Testing for Deep Learning Models: A Comprehensive Survey
by: Guo, Hongjing, et al.
Published: (2025)
by: Guo, Hongjing, et al.
Published: (2025)
NQC2: A Non-Intrusive QEMU Code Coverage Plugin
by: Bosbach, Nils, et al.
Published: (2026)
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)
by: Huynh, Hieu, et al.
Published: (2025)
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)