A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions. - Rodriguez, Ismael; Llana, Luis; Rabanal, Pablo (IEEE Transactions on Software Engineering, 2014)