Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach | Publicación