Automatic Testing of Real-Time Graphics Systems.

Robert Nagy, Gerardo Schneider, Aram Timofeitchik

Browse the full TACAS paper archive.