Copertina

LLM-based Dynamic Differential Testing for Database Connectors with Reinforcement Learning-Guided Prompt Selection

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Lyu, Ce, Zhao, Minghao, Wang, Yanhao, Jie, Liang
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Databases 68N99 H.2.4; D.2.5
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Understanding and Reusing Test Suites Across Database Systems
di: Zhong, Suyang, et al.
Pubblicazione: (2024)

Directed Grammar-Based Test Generation
di: Kirschner, Lukas, et al.
Pubblicazione: (2025)

AWDIT: An Optimal Weak Database Isolation Tester
di: Møldrup, Lasse, et al.
Pubblicazione: (2025)

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
di: Liyanage, Danushka, et al.
Pubblicazione: (2025)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
di: López, Hugo A., et al.
Pubblicazione: (2024)

NOETHER: A Constructive Framework for Metamorphic Pattern Discovery from Operator Algebras
di: Li, Meng, et al.
Pubblicazione: (2026)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
di: Guo, Jinyao, et al.
Pubblicazione: (2025)

Multiset semantics in SPARQL, Relational Algebra and Datalog
di: Angles, Renzo, et al.
Pubblicazione: (2026)

Towards Selecting the Informative Alternative Relational Query Plans for Database Education
di: Wang, Hu, et al.
Pubblicazione: (2022)

Autonomous QA Agent: A Retrieval-Augmented Framework for Reliable Selenium Script Generation
di: Vali, Dudekula Kasim
Pubblicazione: (2025)

Modeling Concurrency Control as a Learnable Function
di: Pan, Hexiang, et al.
Pubblicazione: (2025)

Modular Fault-Tolerant DBMS
di: Fot, Nikolay, et al.
Pubblicazione: (2025)

Bottom-Up Generation of Verilog Designs for Testing EDA Tools
di: Vieira, João Victor Amorim, et al.
Pubblicazione: (2025)

Samyama: A Unified Graph-Vector Database with In-Database Optimization, Agentic Enrichment, and Hardware Acceleration
di: Mandarapu, Madhulatha, et al.
Pubblicazione: (2026)

Unlocking Advanced Graph Machine Learning Insights through Knowledge Completion on Neo4j Graph Database
di: Napoli, Rosario, et al.
Pubblicazione: (2025)

Flow State: Humans Enabling AI Systems to Program Themselves
di: Zhang, Helena, et al.
Pubblicazione: (2025)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
di: Grahl, Johanna, et al.
Pubblicazione: (2025)

Efficient Cloud-Edge-Device Query Execution Based on Collaborative Scan Operator
di: Zhao, Chunyu, et al.
Pubblicazione: (2025)

SAM: A Stability-Aware Cache Manager for Multi-Tenant Embedded Databases
di: Zhang, Haoran, et al.
Pubblicazione: (2025)

GaussDB-Global: A Geographically Distributed Database System
di: Memarzia, Puya, et al.
Pubblicazione: (2025)

Gypscie: A Cross-Platform AI Artifact Management System
di: Porto, Fabio, et al.
Pubblicazione: (2026)

Proving correctness for SQL implementations of OCL constraints
di: Nguyen, Hoang, et al.
Pubblicazione: (2024)

Formal Methods: From Academia to Industrial Practice. A Travel Guide
di: Huisman, Marieke, et al.
Pubblicazione: (2020)

Near Data Processing in Taurus Database
di: Lin, Shu, et al.
Pubblicazione: (2025)

Abacus: A Cost-Based Optimizer for Semantic Operator Systems
di: Russo, Matthew, et al.
Pubblicazione: (2025)

PROV-AGENT: Unified Provenance for Tracking AI Agent Interactions in Agentic Workflows
di: Souza, Renan, et al.
Pubblicazione: (2025)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
di: Lauer, Alexander, et al.
Pubblicazione: (2026)

Hierarchical Robust PCA for Scalable Data Quality Monitoring in Multi-level Aggregation Pipelines
di: Ojha, Preetam Kumar
Pubblicazione: (2025)

Hypernetwork Theory: The Structural Kernel
di: Charlesworth, Richard D.
Pubblicazione: (2025)

Bala-Join: An Adaptive Hash Join for Balancing Communication and Computation in Geo-Distributed SQL Databases
di: Song, Wenlong, et al.
Pubblicazione: (2026)

Heterogeneity in Entity Matching: A Survey and Experimental Analysis
di: Moslemi, Mohammad Hossein, et al.
Pubblicazione: (2025)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
di: Wang, Chengpeng, et al.
Pubblicazione: (2024)

Trace Validation of Unmodified Concurrent Systems with OmniLink
di: Hackett, Finn, et al.
Pubblicazione: (2026)

Evaluating Developer-written Unit Test Case Reduction for Java -- A Replication Study
di: Le, Tuan D, et al.
Pubblicazione: (2025)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
di: Helbling, Caleb, et al.
Pubblicazione: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
di: Helbling, Caleb, et al.
Pubblicazione: (2025)

Automated Database Indexing using Model-free Reinforcement Learning
di: Licks, Gabriel Paludo, et al.
Pubblicazione: (2020)

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
di: Erhard, Julian, et al.
Pubblicazione: (2024)

Spatio-temporal Value Semantics-based Abstraction for Dense Deep Reinforcement Learning
di: Nie, Jihui, et al.
Pubblicazione: (2024)

Tractable Conjunctive Queries over Static and Dynamic Relations
di: Kara, Ahmet, et al.
Pubblicazione: (2024)