Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach. - Raquel Blanco; Javier Tuya; Rubén V. Seco (ICST, 2012)