Testing database transaction concurrency
An AGENDA for testing relational database applications