Model Checking using Generalized Testing Automata