Understanding and Reusing Test Suites Across Database Systems
Fuente:
arXiv
Guardado en:
| Autores principales: | Zhong, Suyang, Rigger, Manuel |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark
por: Yu, Boxi, et al.
Publicado: (2026)
por: Yu, Boxi, et al.
Publicado: (2026)
Testing SSD Firmware with State Data-Aware Fuzzing: Accelerating Coverage in Nondeterministic I/O Environments
por: Yoon, Gangho, et al.
Publicado: (2025)
por: Yoon, Gangho, et al.
Publicado: (2025)
LLM-based Dynamic Differential Testing for Database Connectors with Reinforcement Learning-Guided Prompt Selection
por: Lyu, Ce, et al.
Publicado: (2025)
por: Lyu, Ce, et al.
Publicado: (2025)
Combined Program Analysis Techniques: A Systematic Mapping Study
por: Braione, Pietro, et al.
Publicado: (2026)
por: Braione, Pietro, et al.
Publicado: (2026)
Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions
por: Sharmin, Shaila, et al.
Publicado: (2025)
por: Sharmin, Shaila, et al.
Publicado: (2025)
Synthesizing Test Cases for Narrowing Specification Candidates
por: Cunha, Alcino, et al.
Publicado: (2025)
por: Cunha, Alcino, et al.
Publicado: (2025)
Validating Formal Specifications with LLM-generated Test Cases
por: Cunha, Alcino, et al.
Publicado: (2025)
por: Cunha, Alcino, et al.
Publicado: (2025)
Recommended Practices for Spreadsheet Testing
por: Panko, Raymond R.
Publicado: (2007)
por: Panko, Raymond R.
Publicado: (2007)
AWDIT: An Optimal Weak Database Isolation Tester
por: Møldrup, Lasse, et al.
Publicado: (2025)
por: Møldrup, Lasse, et al.
Publicado: (2025)
Comparing Human and LLM Generated Code: The Jury is Still Out!
por: Licorish, Sherlock A., et al.
Publicado: (2025)
por: Licorish, Sherlock A., et al.
Publicado: (2025)
Scaling Automated Database System Testing
por: Zhong, Suyang, et al.
Publicado: (2025)
por: Zhong, Suyang, et al.
Publicado: (2025)
The Specification as Quality Gate: Three Hypotheses on AI-Assisted Code Review
por: Zietsman, Christo
Publicado: (2026)
por: Zietsman, Christo
Publicado: (2026)
Evaluating Cryptographic API Misuse Detectors for Go
por: Andersson, Vivi, et al.
Publicado: (2026)
por: Andersson, Vivi, et al.
Publicado: (2026)
Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans
por: Lucio, Levi
Publicado: (2026)
por: Lucio, Levi
Publicado: (2026)
Testing Database Systems with Large Language Model Synthesized Fragments
por: Zhong, Suyang, et al.
Publicado: (2025)
por: Zhong, Suyang, et al.
Publicado: (2025)
Trace Validation of Unmodified Concurrent Systems with OmniLink
por: Hackett, Finn, et al.
Publicado: (2026)
por: Hackett, Finn, et al.
Publicado: (2026)
Path-optimal symbolic execution of heap-manipulating programs
por: Braione, Pietro, et al.
Publicado: (2024)
por: Braione, Pietro, et al.
Publicado: (2024)
Monitoring Agentic Systems Before They're Reliable
por: Boston, Marisa Ferrara, et al.
Publicado: (2026)
por: Boston, Marisa Ferrara, et al.
Publicado: (2026)
Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software
por: Baldonado, Juan Manuel, et al.
Publicado: (2025)
por: Baldonado, Juan Manuel, et al.
Publicado: (2025)
On the Soundness and Consistency of LLM Agents for Executing Test Cases Written in Natural Language
por: Salva, Sébastien, et al.
Publicado: (2025)
por: Salva, Sébastien, et al.
Publicado: (2025)
Analyzing the Adoption of Database Management Systems Throughout the History of Open Source Projects
por: Paiva, Camila A., et al.
Publicado: (2026)
por: Paiva, Camila A., et al.
Publicado: (2026)
GBM Returns the Best Prediction Performance among Regression Approaches: A Case Study of Stack Overflow Code Quality
por: Licorish, Sherlock A., et al.
Publicado: (2025)
por: Licorish, Sherlock A., et al.
Publicado: (2025)
Designing Scalable Rate Limiting Systems: Algorithms, Architecture, and Distributed Solutions
por: Guan, Bo
Publicado: (2026)
por: Guan, Bo
Publicado: (2026)
E-Test: E'er-Improving Test Suites
por: Qiu, Ketai, et al.
Publicado: (2025)
por: Qiu, Ketai, et al.
Publicado: (2025)
Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches
por: Wienczkowski, Michael
Publicado: (2026)
por: Wienczkowski, Michael
Publicado: (2026)
LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops
por: Ravi, Ravin, et al.
Publicado: (2026)
por: Ravi, Ravin, et al.
Publicado: (2026)
Automated Vulnerability Detection Using Deep Learning Technique
por: Yang, Guan-Yan, et al.
Publicado: (2024)
por: Yang, Guan-Yan, et al.
Publicado: (2024)
AIRA: AI-Induced Risk Audit: A Structured Inspection Framework for AI-Generated Code
por: Parris, William M.
Publicado: (2026)
por: Parris, William M.
Publicado: (2026)
AgentEval: DAG-Structured Step-Level Evaluation for Agentic Workflows with Error Propagation Tracking
por: Guo, Dongxin, et al.
Publicado: (2026)
por: Guo, Dongxin, et al.
Publicado: (2026)
Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
por: Susan, Ştefan-Claudiu, et al.
Publicado: (2025)
por: Susan, Ştefan-Claudiu, et al.
Publicado: (2025)
Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
por: Liyanage, Danushka, et al.
Publicado: (2025)
por: Liyanage, Danushka, et al.
Publicado: (2025)
Gypscie: A Cross-Platform AI Artifact Management System
por: Porto, Fabio, et al.
Publicado: (2026)
por: Porto, Fabio, et al.
Publicado: (2026)
Abacus: A Cost-Based Optimizer for Semantic Operator Systems
por: Russo, Matthew, et al.
Publicado: (2025)
por: Russo, Matthew, et al.
Publicado: (2025)
Iterative Audit Convergence in LLM-Managed Multi-Agent Systems: A Case Study in Prompt Engineering Quality Assurance
por: Calboreanu, Elias
Publicado: (2026)
por: Calboreanu, Elias
Publicado: (2026)
Automated structural testing of LLM-based agents: methods, framework, and case studies
por: Kohl, Jens, et al.
Publicado: (2026)
por: Kohl, Jens, et al.
Publicado: (2026)
DEFault++: Automated Fault Detection, Categorization, and Diagnosis for Transformer Architectures
por: Jahan, Sigma, et al.
Publicado: (2026)
por: Jahan, Sigma, et al.
Publicado: (2026)
Speeding up SQL subqueries via decoupling of non-correlated predicate (extended version)
por: Radivonchik, Dmitrii, et al.
Publicado: (2025)
por: Radivonchik, Dmitrii, et al.
Publicado: (2025)
Tests4Py: A Benchmark for System Testing
por: Smytzek, Marius, et al.
Publicado: (2023)
por: Smytzek, Marius, et al.
Publicado: (2023)
Good modelling software practices
por: Lemmen, Carsten, et al.
Publicado: (2024)
por: Lemmen, Carsten, et al.
Publicado: (2024)
CovRL: Fuzzing JavaScript Engines with Coverage-Guided Reinforcement Learning for LLM-based Mutation
por: Eom, Jueon, et al.
Publicado: (2024)
por: Eom, Jueon, et al.
Publicado: (2024)
Ejemplares similares
-
SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark
por: Yu, Boxi, et al.
Publicado: (2026) -
Testing SSD Firmware with State Data-Aware Fuzzing: Accelerating Coverage in Nondeterministic I/O Environments
por: Yoon, Gangho, et al.
Publicado: (2025) -
LLM-based Dynamic Differential Testing for Database Connectors with Reinforcement Learning-Guided Prompt Selection
por: Lyu, Ce, et al.
Publicado: (2025) -
Combined Program Analysis Techniques: A Systematic Mapping Study
por: Braione, Pietro, et al.
Publicado: (2026) -
Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions
por: Sharmin, Shaila, et al.
Publicado: (2025)