English
Related papers

Related papers: Understanding and Reusing Test Suites Across Datab…

200 papers

Most modern software systems are characterized by a high number of components whose interactions can affect and complicate testing activities. During testing, developers can account for the interactions by isolating the code under test…

Software Engineering · Computer Science 2024-07-31 Mengzhen Li , Mattia Fazzini

In recent years, a plethora of database management systems have surfaced to meet the demands of various scenarios. Emerging database systems, such as time-series and streaming database systems, are tailored to specific use cases requiring…

Software Engineering · Computer Science 2025-01-03 Yuancheng Jiang , Jianing Wang , Chuqi Zhang , Roland Yap , Zhenkai Liang , Manuel Rigger

Text-to-SQL enables users to interact with databases using natural language, simplifying the retrieval and synthesis of information. Despite the remarkable success of large language models (LLMs) in translating natural language questions…

Artificial Intelligence · Computer Science 2024-07-03 Gyubok Lee , Woosog Chay , Seonhee Cho , Edward Choi

As software systems have grown in scale and complexity the test suites built alongside those systems have also become increasingly complex. Understanding key aspects of test suites, such as their coverage of production code, is important…

Software Engineering · Computer Science 2021-03-15 Amjed Tahir , Stephen G. MacDonell

Memory safety remains a critical and widely violated property in reality. Numerous defense techniques have been proposed and developed but most of them are not applied or enabled by default in production-ready environment due to their…

Cryptography and Security · Computer Science 2021-11-30 Wei Song , Jiameng Ying , Sihao Shen , Boya Li , Hao Ma , Peng Liu

The ability to estimate resource consumption of SQL queries is crucial for a number of tasks in a database system such as admission control, query scheduling and costing during query optimization. Recent work has explored the use of…

Databases · Computer Science 2012-08-02 Jiexing Li , Arnd Christian König , Vivek Narasayya , Surajit Chaudhuri

Completeness is a desirable property of test suites. Roughly, completeness guarantees that a non-equivalent implementation under test will always be identified. Several approaches proposed sufficient, and sometimes also necessary,…

Software Engineering · Computer Science 2015-08-13 Adilson Luiz Bonifacio , Arnaldo Vieira Moura

Security is unarguably the most serious concern for Web applications, to which SQL injection (SQLi) attack is one of the most devastating attacks. Automatically testing SQLi vulnerabilities is of ultimate importance, yet is unfortunately…

Software Engineering · Computer Science 2020-05-26 Muyang Liu , Ke Li , Tao Chen

Database system is an indispensable part of software projects. It plays an important role in data organization and storage. Its performance and efficiency are directly related to the performance of software. Nowadays, we have many general…

Databases · Computer Science 2020-08-12 WanHong Huang

Database-backed applications rely on the database access code to interact with the underlying database management systems (DBMSs). Although many prior studies aim at database access issues like SQL anti-patterns or SQL code smells, there is…

Software Engineering · Computer Science 2024-05-27 Wei Liu , Shouvick Mondal , Tse-Hsun Chen

To be informative, an evaluation must measure how well systems generalize to realistic unseen data. We identify limitations of and propose improvements to current evaluations of text-to-SQL systems. First, we compare human-generated and…

Computation and Language · Computer Science 2020-06-05 Catherine Finegan-Dollak , Jonathan K. Kummerfeld , Li Zhang , Karthik Ramanathan , Sesh Sadasivam , Rui Zhang , Dragomir Radev

A wide range of interesting program properties are intrinsically relational, i.e., they relate two or more program traces. Two prominent relational properties are secure information flow and conditional program equivalence. By showing the…

Logic in Computer Science · Computer Science 2019-10-22 Alexander Weigl , Mattias Ulbrich , Suhyun Cha , Bernhard Beckert , Birgit Vogel-Heuser

Test suites are inherently imperfect, and testers can always enrich a suite with new test cases that improve its quality and, consequently, the reliability of the target software system. However, finding test cases that explore execution…

Software Engineering · Computer Science 2026-01-27 Ketai Qiu , Luca Di Grazia , Leonardo Mariani , Mauro Pezzè

When working in large and complex codebases, developers face challenges using \textit{Find Usages} to understand how to reuse classes and methods. To better understand these challenges, we conducted a small exploratory study with 4…

Software Engineering · Computer Science 2020-09-03 Emad Aghayi , Aaron Massey , Thomas LaToza

Software testing is still a manual process in many industries, despite the recent improvements in automated testing techniques. As a result, test cases are often specified in natural language by different employees and many redundant test…

Software Engineering · Computer Science 2021-10-18 Markos Viggiato , Dale Paas , Chris Buzon , Cor-Paul Bezemer

Testing of synchronous reactive systems is challenging because long input sequences are often needed to drive them into a state at which a desired feature can be tested. This is particularly problematic in on-target testing, where a system…

Software Engineering · Computer Science 2013-11-07 Peter Schrammel , Tom Melham , Daniel Kroening

Unit testing has been considered as having a key role in building high quality software, and therefore it has been widely used in practice. However, data on the relationship between unit testing and aspects of software quality remain…

Software Engineering · Computer Science 2019-04-10 Lucas Gren , Vard Antinyan

Reusing intermediates in databases to speed-up analytical query processing has been studied in the past. Existing solutions typically require intermediate results of individual operators to be materialized into temporary tables to be…

Databases · Computer Science 2016-08-22 Kayhan Dursun , Carsten Binnig , Ugur Cetintemel , Tim Kraska

Software technology based on reuse is identified as a process of designing software for the reuse purpose. The software reuse is a process in which the existing software is used to build new software. A metric is a quantitative indicator of…

Software Engineering · Computer Science 2013-11-06 M. Bhanu Sridhar , Y. Srinivas , M. H. M. Krishna Prasad

SQL query rewriting aims to reformulate a query into a more efficient form while preserving equivalence. Most existing methods rely on predefined rewrite rules. However, such rule-based approaches face fundamental limitations: (1) fixed…

Databases · Computer Science 2025-08-18 Dongjie Xu , Yue Cui , Weijie Shi , Qingzhi Ma , Hanghui Guo , Jiaming Li , Yao Zhao , Ruiyuan Zhang , Shimin Di , Jia Zhu , Kai Zheng , Jiajie Xu