• Testing for serializability under snapshot isolation
• Testing database applications: test data generation for coverage (internal link)