@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}
}