Automatic Testing of Real-Time Graphics Systems. - Robert Nagy; Gerardo Schneider; Aram Timofeitchik (TACAS, 2013)