A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions Ismael Rodr�ıguez, Luis Llana, and Pablo Rabanal Abstract—In this paper we develop…