English
Related papers

Related papers: DIRT: Database-Integrated Random Testing

200 papers

DBMSs are complex systems prone to bugs that may lead to system failures or compromise data integrity. Establishing unified DBMS bug repositories is crucial for systematically organizing bug-related data, enabling code improvement, and…

Software Engineering · Computer Science 2026-04-06 Dawei Li , Qifan Liu , Yuxiao Guo , Jie Liang , Zhiyong Wu , Chi Zhang , Jingzhou Fu , Haogang Mao , Zhenyu Guan , Yu Jiang

Deep Learning (DL) components are routinely integrated into software systems that need to perform complex tasks such as image or natural language processing. The adequacy of the test data used to test such systems can be assessed by their…

Software Engineering · Computer Science 2021-09-17 Vincenzo Riccio , Nargiz Humbatova , Gunel Jahangirova , Paolo Tonella

Real-world large language model deployments (e.g., conversational AI systems, code generation assistants) naturally generate abundant implicit user dissatisfaction (DSAT) signals, as users iterate toward better answers through refinements,…

Computation and Language · Computer Science 2026-02-03 Yifan Wang , Bolian Li , Junlin Wu , Zhaoxuan Tan , Zheli Liu , Ruqi Zhang , Ananth Grama , Qingkai Zeng

Search-based software testing (SBT) is an effective and efficient approach for testing automated driving systems (ADS). However, testing pipelines for ADS testing are particularly challenging as they involve integrating complex driving…

Software Engineering · Computer Science 2023-11-03 Lev Sorokin , Tiziano Munaro , Damir Safin , Brian Hsuan-Cheng Liao , Adam Molin

The ever-increasing amount, variety as well as generation and processing speed of today's data pose a variety of new challenges for developing Data-Intensive Software Systems (DISS). As with developing other kinds of software systems,…

Software Engineering · Computer Science 2019-06-03 Harald Foidl , Michael Felderer , Stefan Biffl

While deep learning (DL) has permeated, and become an integral component of many critical software systems, today software engineering research hasn't explored how to separately test data and models that are integral for DL approaches to…

Software Engineering · Computer Science 2025-02-12 Ruchira Manke , Mohammad Wardat , Foutse Khomh , Hridesh Rajan

The article addresses the problem of storing data in extreme environmental conditions with limited computing resources and memory. There is a requirement to create portable, fault-tolerant, modular database management systems (DBMS) that…

Databases · Computer Science 2025-05-23 Nikolay Fot , Alexander Vinarsky

Relational database applications are notoriously difficult to test and debug. Concurrent execution of database transactions may violate complex structural invariants that constraint how changes to the contents of one (shared) table affect…

Programming Languages · Computer Science 2019-08-16 Kia Rahmani , Kartik Nagar , Benjamin Delaware , Suresh Jagannathan

Database Management Systems (DBMSs) are fundamental infrastructure for modern data-driven applications, where thorough testing with high-quality SQL test cases is essential for ensuring system reliability. Traditional approaches such as…

Software Engineering · Computer Science 2026-03-24 Yujia Chen , Yingli Zhou , Fangyuan Zhang , Cuiyun Gao

Dynamic model inference techniques have been the center of many research projects recently. There are now multiple open source implementations of state-of-the-art algorithms, which provide basic abstraction and merging capabilities. Most of…

Software Engineering · Computer Science 2019-04-01 Mohammad Jafar Mashhadi , Hadi Hemmati

Deep learning (DL) defines a new data-driven programming paradigm where the internal system logic is largely shaped by the training data. The standard way of evaluating DL models is to examine their performance on a test dataset. The…

Software Engineering · Computer Science 2018-08-16 Lei Ma , Fuyuan Zhang , Jiyuan Sun , Minhui Xue , Bo Li , Felix Juefei-Xu , Chao Xie , Li Li , Yang Liu , Jianjun Zhao , Yadong Wang

GitHub's issue reports provide developers with valuable information that is essential to the evolution of a software development project. Contributors can use these reports to perform software engineering tasks like submitting bugs,…

Software Engineering · Computer Science 2023-03-22 Nafiseh Nikeghbal , Amir Hossein Kargaran , Abbas Heydarnoori , Hinrich Schütze

In testing of software and Internet of Things (IoT) systems, one of necessary type of tests has to verify the consistency of data that are processed and stored in the system. The Data Cycle Test technique can effectively do such tests. The…

Software Engineering · Computer Science 2020-11-24 Miroslav Bures , Vaclav Rechtberger

Modern deep recommender models are trained under a continual learning paradigm, relying on massive and continuously growing streaming behavioral logs. In large-scale platforms, retraining models on full historical data for architecture…

Information Retrieval · Computer Science 2026-03-27 Jiaqing Zhang , Hao Wang , Mingjia Yin , Bo Chen , Qinglin Jia , Rui Zhou , Ruiming Tang , ChaoYi Ma , Enhong Chen

Graph database engines stand out in the era of big data for their efficiency of modeling and processing linked data. There is a strong need of testing graph database engines. However, random testing, the most practical way of automated test…

Databases · Computer Science 2022-06-20 Wei Lin , Ziyue Hua , Luyao Ren , Zongyang Li , Lu Zhang , Tao Xie

Diagnosing and fixing performance problems on multicore machines with deep memory hierarchies is extremely challenging. Certain problems are best addressed when we can analyze the entire trace of program execution, e.g., every memory…

Performance · Computer Science 2016-06-02 Svetozar Miucin , Conor Brady , Alexandra Fedorova

Database Management Systems (DBMS) are crucial for efficient data management and access control, but their administration remains challenging for Database Administrators (DBAs). Tuning, in particular, is known to be difficult. Modern…

Databases · Computer Science 2026-03-17 Yifan Wang , Debabrota Basu , Pierre Bourhis , Romain Rouvoy , Patrick Royer

Many scientific-software projects test their codes inadequately, or not at all. Despite its well-known benefits, adopting routine testing is often not easy. Development teams may have doubts about establishing effective test procedures,…

Software Engineering · Computer Science 2014-11-11 Paul Madden , Eduardo G. Valente

Wasm runtime is a fundamental component in the Wasm ecosystem, as it directly impacts whether Wasm applications can be executed as expected. Bugs in Wasm runtime bugs are frequently reported, thus our research community has made a few…

Software Engineering · Computer Science 2023-12-19 Shangtong Cao , Ningyu He , Xinyu She , Yixuan Zhang , Mu Zhang , Haoyu Wang

Dataset distillation (DD) enhances training efficiency and reduces bandwidth by condensing large datasets into smaller synthetic ones. It enables models to achieve performance comparable to those trained on the raw full dataset and has…

Cryptography and Security · Computer Science 2025-02-07 Ziyuan Yang , Ming Yan , Yi Zhang , Joey Tianyi Zhou