Declarative interface for developing test cases for graphics programs | AMiner