@misc{indiciaeaa78e0ba7ae6,
  title = {Coverage Criteria for Model-Based Testing using Property Patterns},
  author = {Kalou Cabrera Castillos and Frédéric Dadeau and Jacques Julliand},
  year = {2014},
  doi = {10.4204/eptcs.141.3},
  url = {https://arxiv.org/abs/1403.7259},
  note = {Source identifier: 1403.7259}
}