Katona, Endre: Automated testing of embedded systems