Copertina

Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Molinelli, Davide, Martin-Lopez, Alberto, Zackrone, Elliott, Eken, Beyza, Ernst, Michael D., Pezzè, Mauro
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

An Evolutionary Approach to Adapt Tests Across Mobile Apps
di: Mariani, Leonardo, et al.
Pubblicazione: (2021)

NeuroFlake: A Neuro-Symbolic LLM Framework for Flaky Test Classification
di: Hoque, Khondaker Tasnia, et al.
Pubblicazione: (2026)

A Multivocal Review of MLOps Practices, Challenges and Open Issues
di: Eken, Beyza, et al.
Pubblicazione: (2024)

PREVENT: An Unsupervised Approach to Predict Software Failures in Production
di: Denaro, Giovanni, et al.
Pubblicazione: (2022)

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

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

E-Test: E'er-Improving Test Suites
di: Qiu, Ketai, et al.
Pubblicazione: (2025)

PTE: Axiomatic Semantics based Compiler Testing
di: Dong, Guoliang, et al.
Pubblicazione: (2024)

Beyond Monolithic Models: Symbolic Seams for Composable Neuro-Symbolic Architectures
di: Schuler, Nicolas, et al.
Pubblicazione: (2026)

NeuroSCA: Neuro-Symbolic Constraint Abstraction for Smart Contract Hybrid Fuzzing
di: Liang, Haochen, et al.
Pubblicazione: (2026)

WebTestPilot: Agentic End-to-End Web Testing against Natural Language Specification by Inferring Oracles with Symbolized GUI Elements
di: Teoh, Xiwen, et al.
Pubblicazione: (2026)

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

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
di: Granberry, George, et al.
Pubblicazione: (2025)

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

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

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

Enhancing NeuroEvolution-Based Game Testing: A Branch Coverage Approach for Scratch Programs
di: Sohail, Khizra, et al.
Pubblicazione: (2025)

AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation
di: Ibrahimzada, Ali Reza, et al.
Pubblicazione: (2024)

Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation
di: Abdullin, Azat, et al.
Pubblicazione: (2025)

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

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

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

Implicit Test Oracles for Quantum Computing
di: Langdon, William B.
Pubblicazione: (2024)

NESA: Relational Neuro-Symbolic Static Program Analysis
di: Wang, Chengpeng, et al.
Pubblicazione: (2024)

Neuro-Symbolic Agents for Hallucination-Free Requirements Reuse
di: Ibrahim, Ahmed F.
Pubblicazione: (2026)

C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
di: Nitin, Vikram, et al.
Pubblicazione: (2025)

Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic
di: Lee, Yeonseok
Pubblicazione: (2026)

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

SynthFix: Adaptive Neuro-Symbolic Code Vulnerability Repair
di: Zhang, Yifan, et al.
Pubblicazione: (2026)

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

Towards Automatic Generation of Amplified Regression Test Oracles
di: Duque-Torres, Alejandra, et al.
Pubblicazione: (2023)

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

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

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

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
di: Zhang, Liao, et al.
Pubblicazione: (2026)

SE Journals in 2036: Looking Back at the Future We Need to Have
di: Menzies, Tim, et al.
Pubblicazione: (2026)

Nexus: Execution-Grounded Multi-Agent Test Oracle Synthesis
di: Huang, Dong, et al.
Pubblicazione: (2025)

State Field Coverage: A Metric for Oracle Quality
di: Molina, Facundo, et al.
Pubblicazione: (2025)

S$^2$F: Principled Hybrid Testing With Fuzzing, Symbolic Execution, and Sampling
di: Wang, Lianjing, et al.
Pubblicazione: (2026)

EmpiRE-Compass: A Neuro-Symbolic Dashboard for Sustainable and Dynamic Knowledge Exploration, Synthesis, and Reuse
di: Karras, Oliver, et al.
Pubblicazione: (2026)