Database applications are built using two different programming language constructs: one
that controls the behavior of the application, also referred to as the host language; and the …

Testing techniques for database applications typically include generation of database states
(synthetic data) along with automatic generation of test cases. The quality of such test cases …

Recent testing techniques for database applications typically include generation of both
program inputs and database states (synthetic data). The quality of such test cases is …

To assure high quality of database applications, testing database applications remains the
most popularly used approach. In testing database applications, tests consist of both …

Concolic testing generates test data by combining concrete program execution and symbolic
execution to achieve high test coverage. CREST is a representative open-source test tool …

There has been tremendous growth over the last few years of applications employing
column-oriented databases (a common type of non-relational database) to store …

Concolic testing is a test generation technique which works effectively by integrating random
testing generation and symbolic execution. Existing concolic testing engines focus on …

Complex SQL queries are widely used today, but it is rather difficult to check if a complex
query has been written correctly. Formal verification based on comparing a specification with …

We describe an algorithm for automatic test input generation for database applications.
Given a program in an imperative language that interacts with a database through API calls …

The widespread use of databases in software systems has increased the importance of unit
testing the queries that form the interface to these databases. Mutation analysis is a powerful …