Cover Image

Finding Cross-rule Optimization Bugs in Datalog Engines

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Chi, Wang, Linzhang, Rigger, Manuel
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Finding XPath Bugs in XML Document Processors via Differential Testing
by: Li, Shuxin, et al.
Published: (2024)

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
by: Deng, Wenjing, et al.
Published: (2024)

Testing Database Engines via Query Plan Guidance
by: Ba, Jinsheng, et al.
Published: (2023)

Constant Optimization Driven Database System Testing
by: Zhang, Chi, et al.
Published: (2025)

CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation
by: Ba, Jinsheng, et al.
Published: (2023)

An Empirical Study of Refactoring Engine Bugs
by: Wang, Haibo, et al.
Published: (2024)

BugScope: Learn to Find Bugs Like Human
by: Guo, Jinyao, et al.
Published: (2025)

Inconsistencies in TeX-Produced Documents
by: Tan, Jovyn, et al.
Published: (2024)

Towards a Unified Query Plan Representation
by: Ba, Jinsheng, et al.
Published: (2024)

Scaling Automated Database System Testing
by: Zhong, Suyang, et al.
Published: (2025)

Testing Database Systems with Large Language Model Synthesized Fragments
by: Zhong, Suyang, et al.
Published: (2025)

A First Look at Bugs in LLM Inference Engines
by: Liu, Mugeng, et al.
Published: (2025)

Metamorphic Coverage
by: Ba, Jinsheng, et al.
Published: (2025)

Dialect-Agnostic SQL Parsing via LLM-Based Segmentation
by: An, Junwen, et al.
Published: (2026)

Testing Refactoring Engine via Historical Bug Report driven LLM
by: Wang, Haibo, et al.
Published: (2025)

CITADEL: Context Similarity Based Deep Learning Framework Bug Finding
by: Zhang, Xiaoyu, et al.
Published: (2024)

Understanding and Finding JIT Compiler Performance Bugs
by: Yi, Zijian, et al.
Published: (2026)

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
by: Feng, Qiong, et al.
Published: (2025)

An Annotation-based Approach for Finding Bugs in Neural Network Programs
by: Rezaalipour, Mohammad, et al.
Published: (2021)

Understanding Bugs in Template Engine-Based Applications: Symptoms, Root Causes, and Fix Patterns
by: Gao, Kai, et al.
Published: (2026)

GraphFuzz: Automated Testing of Graph Algorithm Implementations with Differential Fuzzing and Lightweight Feedback
by: Yan, Wenqi, et al.
Published: (2025)

Enhanced Differential Testing in Emerging Database Systems
by: Jiang, Yuancheng, et al.
Published: (2025)

BugForge: Constructing and Utilizing DBMS Bug Repository to Enhance DBMS Testing
by: Li, Dawei, et al.
Published: (2026)

Towards Understanding the Bugs in Solidity Compiler
by: Ma, Haoyang, et al.
Published: (2024)

Detecting Build Dependency Errors in Incremental Builds
by: Lyu, Jun, et al.
Published: (2024)

LineBreaker: Finding Token-Inconsistency Bugs with Large Language Models
by: Chen, Hongbo, et al.
Published: (2024)

A Shallow Embedding of Datalog in Lean
by: Shahin, Ramy
Published: (2026)

Hints Help Finding and Fixing Bugs Differently in Python and Text-based Program Representations
by: Rawal, Ruchit, et al.
Published: (2024)

LLMs are Bug Replicators: An Empirical Study on LLMs' Capability in Completing Bug-prone Code
by: Guo, Liwei, et al.
Published: (2025)

Bug Whispering: Towards Audio Bug Reporting
by: Masserini, Elena, et al.
Published: (2025)

LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
by: Zhang, Kunpeng, et al.
Published: (2026)

UBfuzz: Finding Bugs in Sanitizer Implementations
by: Li, Shaohua, et al.
Published: (2024)

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

BugRepro: Enhancing Android Bug Reproduction with Domain-Specific Knowledge Integration
by: Yin, Hongrong, et al.
Published: (2025)

SysPro: Reproducing System-level Concurrency Bugs from Bug Reports
by: Zaman, Tarannum Shaila, et al.
Published: (2026)

Agentic Property-Based Testing: Finding Bugs Across the Python Ecosystem
by: Maaz, Muhammad, et al.
Published: (2025)

GitBug-Java: A Reproducible Benchmark of Recent Java Bugs
by: Silva, André, et al.
Published: (2024)

Anticipating Bugs: Ticket-Level Bug Prediction and Temporal Proximity Effects
by: La Prova, Daniele, et al.
Published: (2025)

Characterizing Real-World Bugs in Tile Programs for Automated Bug Detection
by: Rathnasuriya, Ravishka, et al.
Published: (2026)

HaPy-Bug -- Human Annotated Python Bug Resolution Dataset
by: Przymus, Piotr, et al.
Published: (2025)