Automatic Testing of Real-Time Graphics Systems
Abstract elided by the publisher.
Related papers
- Testing and debugging functional reactive programming ICFP 2017
- XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems CAV 1996
- Divergence-Aware Testing of Graphics Shader Compiler Back-Ends PLDI 2025
- The Real-Time Graphical Interval Logic Toolset CAV 1996
- Persistent Code Caching: Exploiting Code Reuse Across Executions and Applications CGO 2007
- Geometry types for graphics programming OOPSLA 2020
- Automated testing of graphics shader compilers OOPSLA 2017
- Roll your own test bed for embedded real-time protocols: a haskell experience Haskell 2009