SmartOracle -- An Agentic Approach to Mitigate Noise in Differential Oracles
Fuente:
arXiv
Salvato in:
| Autori principali: | Srinivasan, Srinath, Menzies, Tim, D'Amorim, Marcelo |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
di: Su, Jianzhong, et al.
Pubblicazione: (2024)
di: Su, Jianzhong, et al.
Pubblicazione: (2024)
Beyond the Prompt: Assessing Domain Knowledge Strategies for High-Dimensional LLM Optimization in Software Engineering
di: Srinivasan, Srinath, et al.
Pubblicazione: (2026)
di: Srinivasan, Srinath, et al.
Pubblicazione: (2026)
Is Hyper-Parameter Optimization Different for Software Analytics?
di: Yedida, Rahul, et al.
Pubblicazione: (2024)
di: Yedida, Rahul, et al.
Pubblicazione: (2024)
Understanding LLM-Driven Test Oracle Generation
di: Bodicoat, Adam, et al.
Pubblicazione: (2026)
di: Bodicoat, Adam, et al.
Pubblicazione: (2026)
Revisiting Process versus Product Metrics: a Large Scale Analysis
di: Majumder, Suvodeep, et al.
Pubblicazione: (2020)
di: Majumder, Suvodeep, et al.
Pubblicazione: (2020)
When Less is More: On the Value of "Co-training" for Semi-Supervised Software Defect Predictors
di: Majumder, Suvodeep, et al.
Pubblicazione: (2022)
di: Majumder, Suvodeep, et al.
Pubblicazione: (2022)
Software Engineering Principles for Fairer Systems: Experiments with GroupCART
di: Peng, Kewen, et al.
Pubblicazione: (2025)
di: Peng, Kewen, et al.
Pubblicazione: (2025)
From Coverage to Causes: Data-Centric Fuzzing for JavaScript Engines
di: Ganguly, Kishan Kumar, et al.
Pubblicazione: (2025)
di: Ganguly, Kishan Kumar, et al.
Pubblicazione: (2025)
500+ Times Faster Than Deep Learning (A Case Study Exploring Faster Methods for Text Mining StackOverflow)
di: Majumder, Suvodeep, et al.
Pubblicazione: (2018)
di: Majumder, Suvodeep, et al.
Pubblicazione: (2018)
Incoherence as Oracle-less Measure of Error in LLM-Based Code Generation
di: Valentin, Thomas, et al.
Pubblicazione: (2025)
di: Valentin, Thomas, et al.
Pubblicazione: (2025)
Less Noise, More Signal: DRR for Better Optimizations of SE Tasks
di: Lustosa, Andre, et al.
Pubblicazione: (2025)
di: Lustosa, Andre, et al.
Pubblicazione: (2025)
MOOT: a Repository of Many Multi-Objective Optimization Tasks
di: Menzies, Tim, et al.
Pubblicazione: (2025)
di: Menzies, Tim, et al.
Pubblicazione: (2025)
Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles
di: Molinelli, Davide, et al.
Pubblicazione: (2025)
di: Molinelli, Davide, et al.
Pubblicazione: (2025)
Go-Oracle: Automated Test Oracle for Go Concurrency Bugs
di: Tsimpourlas, Foivos, et al.
Pubblicazione: (2024)
di: Tsimpourlas, Foivos, et al.
Pubblicazione: (2024)
HarmonE: A Self-Adaptive Approach to Architecting Sustainable MLOps
di: Bhatt, Hiya, et al.
Pubblicazione: (2025)
di: Bhatt, Hiya, et al.
Pubblicazione: (2025)
Test Oracle Automation in the era of LLMs
di: Molina, Facundo, et al.
Pubblicazione: (2024)
di: Molina, Facundo, et al.
Pubblicazione: (2024)
Retrospective: Data Mining Static Code Attributes to Learn Defect Predictors
di: Menzies, Tim
Pubblicazione: (2025)
di: Menzies, Tim
Pubblicazione: (2025)
Safeguarding DeFi Smart Contracts against Oracle Deviations
di: Deng, Xun, et al.
Pubblicazione: (2024)
di: Deng, Xun, et al.
Pubblicazione: (2024)
HexaCoder: Secure Code Generation via Oracle-Guided Synthetic Training Data
di: Hajipour, Hossein, et al.
Pubblicazione: (2024)
di: Hajipour, Hossein, et al.
Pubblicazione: (2024)
Foundation Models as Oracles for Refactoring Correctness Detection
di: Gheyi, Rohit, et al.
Pubblicazione: (2026)
di: Gheyi, Rohit, et al.
Pubblicazione: (2026)
A Machine Learning-Based Error Mitigation Approach For Reliable Software Development On IBM'S Quantum Computers
di: Muqeet, Asmar, et al.
Pubblicazione: (2024)
di: Muqeet, Asmar, et al.
Pubblicazione: (2024)
TOGLL: Correct and Strong Test Oracle Generation with LLMs
di: Hossain, Soneya Binta, et al.
Pubblicazione: (2024)
di: Hossain, Soneya Binta, et al.
Pubblicazione: (2024)
AugmenTest: Enhancing Tests with LLM-Driven Oracles
di: Khandaker, Shaker Mahmud, et al.
Pubblicazione: (2025)
di: Khandaker, Shaker Mahmud, et al.
Pubblicazione: (2025)
State Field Coverage: A Metric for Oracle Quality
di: Molina, Facundo, et al.
Pubblicazione: (2025)
di: Molina, Facundo, et al.
Pubblicazione: (2025)
SATORI: Static Test Oracle Generation for REST APIs
di: Alonso, Juan C., et al.
Pubblicazione: (2025)
di: Alonso, Juan C., et al.
Pubblicazione: (2025)
Towards an Oracle for Binary Decomposition Under Compilation Variance
di: Jia, Ang, et al.
Pubblicazione: (2025)
di: Jia, Ang, et al.
Pubblicazione: (2025)
Deep Smart Contract Intent Detection
di: Huang, Youwei, et al.
Pubblicazione: (2022)
di: Huang, Youwei, et al.
Pubblicazione: (2022)
Agint: Agentic Graph Compilation for Software Engineering Agents
di: Chivukula, Abhi, et al.
Pubblicazione: (2025)
di: Chivukula, Abhi, et al.
Pubblicazione: (2025)
Implicit Test Oracles for Quantum Computing
di: Langdon, William B.
Pubblicazione: (2024)
di: Langdon, William B.
Pubblicazione: (2024)
Smart Cuts: Enhance Active Learning for Vulnerability Detection by Pruning Hard-to-Learn Data
di: Lan, Xiang, et al.
Pubblicazione: (2025)
di: Lan, Xiang, et al.
Pubblicazione: (2025)
SmartChoices: Augmenting Software with Learned Implementations
di: Golovin, Daniel, et al.
Pubblicazione: (2023)
di: Golovin, Daniel, et al.
Pubblicazione: (2023)
Can Causality Cure Confusion Caused By Correlation (in Software Analytics)?
di: Rayegan, Amirali, et al.
Pubblicazione: (2026)
di: Rayegan, Amirali, et al.
Pubblicazione: (2026)
From Brittle to Robust: Improving LLM Annotations for SE Optimization
di: Senthilkumar, Lohith, et al.
Pubblicazione: (2026)
di: Senthilkumar, Lohith, et al.
Pubblicazione: (2026)
Minimal Data, Maximum Clarity: A Heuristic for Explaining Optimization
di: Rayegan, Amirali, et al.
Pubblicazione: (2025)
di: Rayegan, Amirali, et al.
Pubblicazione: (2025)
Can Large Language Models Improve SE Active Learning via Warm-Starts?
di: Senthilkumar, Lohith, et al.
Pubblicazione: (2024)
di: Senthilkumar, Lohith, et al.
Pubblicazione: (2024)
Streamlining Software Reviews: Efficient Predictive Modeling with Minimal Examples
di: Menzies, Tim, et al.
Pubblicazione: (2024)
di: Menzies, Tim, et al.
Pubblicazione: (2024)
iSNEAK: Partial Ordering as Heuristics for Model-Based Reasoning in Software Engineering
di: Lustosa, Andre, et al.
Pubblicazione: (2023)
di: Lustosa, Andre, et al.
Pubblicazione: (2023)
Harmonica: A Self-Adaptation Exemplar for Sustainable MLOps
di: Halgatti, Ananya, et al.
Pubblicazione: (2026)
di: Halgatti, Ananya, 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)
di: Teoh, Xiwen, et al.
Pubblicazione: (2026)
PPO guided Agentic Pipeline for Adaptive Prompt Selection and Test Case Generation
di: Koushik, Gourisetty Venkata Sai, et al.
Pubblicazione: (2026)
di: Koushik, Gourisetty Venkata Sai, et al.
Pubblicazione: (2026)
Documenti analoghi
-
SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
di: Su, Jianzhong, et al.
Pubblicazione: (2024) -
Beyond the Prompt: Assessing Domain Knowledge Strategies for High-Dimensional LLM Optimization in Software Engineering
di: Srinivasan, Srinath, et al.
Pubblicazione: (2026) -
Is Hyper-Parameter Optimization Different for Software Analytics?
di: Yedida, Rahul, et al.
Pubblicazione: (2024) -
Understanding LLM-Driven Test Oracle Generation
di: Bodicoat, Adam, et al.
Pubblicazione: (2026) -
Revisiting Process versus Product Metrics: a Large Scale Analysis
di: Majumder, Suvodeep, et al.
Pubblicazione: (2020)