@article {401,
	title = {Behaviour Abstraction Adequacy Criteria for API Call Protocol Testing},
	journal = {Software Testing, Verification and Reliability},
	year = {2015},
	author = {Hern{\'a}n Czemerinski and V{\'\i}ctor A. Braberman and Sebasti{\'a}n Uchitel}
}