Buchumschlag

State Field Coverage: A Metric for Oracle Quality

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Molina, Facundo, Aguirre, Nazareno, Gorla, Alessandra
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Test Oracle Automation in the era of LLMs
von: Molina, Facundo, et al.
Veröffentlicht: (2024)

Improving Dynamic Specification Inference with LLM-Generated Counterexamples
von: Balestra, Agustín, et al.
Veröffentlicht: (2026)

Improving Deep Learning Library Testing with Machine Learning
von: Molina, Facundo, et al.
Veröffentlicht: (2026)

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

Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications
von: Castro, Pablo F., et al.
Veröffentlicht: (2025)

Assessing Evaluation Metrics for Neural Test Oracle Generation
von: Shin, Jiho, et al.
Veröffentlicht: (2023)

Accurate Coverage Metrics for Compiler-Generated Debugging Information
von: Stinnett, J. Ryan, et al.
Veröffentlicht: (2024)

A Comparative Quality Metric for Untargeted Fuzzing with Logic State Coverage
von: Lee, Gwangmu
Veröffentlicht: (2024)

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

WuppieFuzz: Coverage-Guided, Stateful REST API Fuzzing
von: Rooijakkers, Thomas, et al.
Veröffentlicht: (2025)

Software Code Quality Measurement: Implications from Metric Distributions
von: Jin, Siyuan, et al.
Veröffentlicht: (2023)

Towards Understanding the Impact of Code Modifications on Software Quality Metrics
von: Karanikiotis, Thomas, et al.
Veröffentlicht: (2024)

Foundation Models as Oracles for Refactoring Correctness Detection
von: Gheyi, Rohit, et al.
Veröffentlicht: (2026)

Metamorphic Coverage
von: Ba, Jinsheng, et al.
Veröffentlicht: (2025)

SmartOracle -- An Agentic Approach to Mitigate Noise in Differential Oracles
von: Srinivasan, Srinath, et al.
Veröffentlicht: (2026)

Go-Oracle: Automated Test Oracle for Go Concurrency Bugs
von: Tsimpourlas, Foivos, et al.
Veröffentlicht: (2024)

Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles
von: Molinelli, Davide, et al.
Veröffentlicht: (2025)

AugmenTest: Enhancing Tests with LLM-Driven Oracles
von: Khandaker, Shaker Mahmud, et al.
Veröffentlicht: (2025)

SATORI: Static Test Oracle Generation for REST APIs
von: Alonso, Juan C., et al.
Veröffentlicht: (2025)

Towards an Oracle for Binary Decomposition Under Compilation Variance
von: Jia, Ang, et al.
Veröffentlicht: (2025)

TOGLL: Correct and Strong Test Oracle Generation with LLMs
von: Hossain, Soneya Binta, et al.
Veröffentlicht: (2024)

Uncovering Scientific Software Sustainability through Community Engagement and Software Quality Metrics
von: Ahmed, Sharif, et al.
Veröffentlicht: (2025)

An Empirical Study on the Impact of Code Duplication-aware Refactoring Practices on Quality Metrics
von: AlOmar, Eman Abdullah
Veröffentlicht: (2025)

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

Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots
von: Wang, Xinyi, et al.
Veröffentlicht: (2025)

Isolating Noisy Labelled Test Cases in Human-in-the-Loop Oracle Learning
von: Kapugama, Charaka Geethal
Veröffentlicht: (2025)

SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
von: Su, Jianzhong, et al.
Veröffentlicht: (2024)

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

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

Towards Modified Condition/Decision Coverage of Rust
von: Zaeske, Wanja, et al.
Veröffentlicht: (2024)

Generalized Coverage Criteria for Combinatorial Sequence Testing
von: Elyasaf, Achiya, et al.
Veröffentlicht: (2022)

Testing Agentic Workflows with Structural Coverage Criteria
von: Kahani, Nafiseh, et al.
Veröffentlicht: (2026)

Implicit Test Oracles for Quantum Computing
von: Langdon, William B.
Veröffentlicht: (2024)

VISOR: A Vision-Language Model-based Test Oracle for Testing Robots
von: Saurabh, Prasun, et al.
Veröffentlicht: (2026)

Coverage-Guided Testing for Deep Learning Models: A Comprehensive Survey
von: Guo, Hongjing, et al.
Veröffentlicht: (2025)

NQC2: A Non-Intrusive QEMU Code Coverage Plugin
von: Bosbach, Nils, et al.
Veröffentlicht: (2026)

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

Doc2OracLL: Investigating the Impact of Documentation on LLM-based Test Oracle Generation
von: Hossain, Soneya Binta, et al.
Veröffentlicht: (2024)

PatchGuru: Patch Oracle Inference from Natural Language Artifacts with Large Language Models
von: Le-Cong, Thanh, et al.
Veröffentlicht: (2026)

Modified Condition/Decision Coverage in the GNU Compiler Collection
von: Kvalsvik, Jørgen
Veröffentlicht: (2025)