@article {436,
	title = {RepOK-based reduction of bounded exhaustive testing},
	journal = {Softw. Test., Verif. Reliab.},
	volume = {24},
	year = {2014},
	pages = {629{\textendash}655},
	doi = {10.1002/stvr.1547},
	url = {http://dx.doi.org/10.1002/stvr.1547},
	author = {Valeria S. Bengolea and Nazareno Aguirre and Darko Marinov and Frias, Marcelo F.}
}