Verifying Embedded Graphics Libraries leveraging Virtual Prototypes and Metamorphic Testing.

Christoph Hazott, Florian Stgmller, Daniel Groe

Browse the full ASPDAC paper archive.