@misc{indiciaeb5be0cca13fe,
  title = {Test adequacy evaluation for the user-database interaction: a specification-based approach},
  author = {Raquel Blanco and Javier Tuya and Ruben V. Seco},
  year = {2023},
  doi = {10.1109/icst.2012.87},
  url = {https://arxiv.org/abs/2304.12671},
  note = {Source identifier: 2304.12671}
}