A transaction logic for database specification
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Automated Test Case Generation for Programs Specified by Relational Algebra Queries
IEEE Transactions on Software Engineering
A framework for testing database applications
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Databases and Transaction Processing: An Application-Oriented Approach
Databases and Transaction Processing: An Application-Oriented Approach
Automatic Generation of Database Instances for White-box Testing
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
The VLDB Journal — The International Journal on Very Large Data Bases
A family of test adequacy criteria for database-driven applications
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Test data generation for relational database applications
Test data generation for relational database applications
Using Applications of Data Versioning in Database Application Development
Proceedings of the 26th International Conference on Software Engineering
Static Checking of Dynamically Generated Queries in Database Applications
Proceedings of the 26th International Conference on Software Engineering
An automatic data generating system for data base simulation and testing
ACM SIGMIS Database
An AGENDA for testing relational database applications: Research Articles
Software Testing, Verification & Reliability
Precise analysis of string expressions
SAS'03 Proceedings of the 10th international conference on Static analysis
Fault-Based Testing of Database Application Programs with Conceptual Data Model
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
A practical guide to SQL white-box testing
ACM SIGPLAN Notices
Information and Software Technology
Scalable automatic test data generation from modeling diagrams
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Query-based test generation for database applications
Proceedings of the 1st international workshop on Testing database systems
Scalable satisfiability checking and test data generation from modeling diagrams
Automated Software Engineering
White-box testing for database-driven applications: a requirements analysis
Proceedings of the Second International Workshop on Testing Database Systems
Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
Query-Aware Test Generation Using a Relational Constraint Solver
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
The test data challenge for database-driven applications
Proceedings of the Third International Workshop on Testing Database Systems
A unit test approach for database schema evolution
Information and Software Technology
Qex: symbolic SQL query explorer
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Database state generation via dynamic symbolic execution for coverage criteria
Proceedings of the Fourth International Workshop on Testing Database Systems
Generating program inputs for database application testing
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Guided test generation for database applications via synthesized database interactions
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.00 |
AGENDA is a tool set for testing relational database applications. An earlier prototype was targeted to applications consisting of a single query and included components for populating a database with data suitable for testing the application, generating inputs to the query, and checking relatively simple aspects of the results of executing the query. This paper describes substantial extensions to AGENDA, allowing it to test transactions with multiple queries and with complex intended behavior. The paper introduces a technique for checking complex properties of the database state transition performed by the transaction under test, as well as an improved input generation heuristic. Results of using AGENDA to test three applications with seeded faults are presented.