@Inproceedings{EPTCS141.3, author = {Castillos, Kalou Cabrera and Dadeau, Fr\'ed\'eric and Julliand, Jacques}, year = {2014}, title = {Coverage Criteria for Model-Based Testing using Property Patterns}, editor = {Schlingloff, Holger and Petrenko, Alexander K.}, booktitle = {{\rm Proceedings Ninth Workshop on} Model-Based Testing, {\rm Grenoble, France, 6 April 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {141}, publisher = {Open Publishing Association}, pages = {29-43}, doi = {10.4204/EPTCS.141.3}, }