@conference {91, title = {Behaviour Abstraction Coverage as Black-Box Adequacy Criteria}, booktitle = {ICST}, year = {2013}, publisher = {IEEE Computer Society}, organization = {IEEE Computer Society}, address = {Luxembourg}, doi = {10.1109/ICST.2013.22}, author = {Hern{\'a}n Czemerinski and V{\'\i}ctor A. Braberman and Sebasti{\'a}n Uchitel} }