Mechanized Visual Testing