@inbook {44,
	title = {Using Coverage Criteria on RepOK to Reduce Bounded Exhaustive Test Suites},
	booktitle = { International Conference on Tests and Proofs TAP 2012},
	volume = {7305},
	number = {Lecture Notes in Computer Science},
	year = {2012},
	pages = {19 - 34},
	publisher = {Springer},
	organization = {Springer},
	isbn = {978-3-642-30472-9},
	issn = {0302-9743},
	doi = {10.1007/978-3-642-30473-6_4},
	author = {Valeria S. Bengolea and Nazareno Aguirre and Darko Marinov and Frias, Marcelo F.}
}