Mayr, Dominik: Efficient Database Test Case Design