Automatic testing of real-time graphics systems

DOI10.1007/978-3-642-36742-7_32MaRDI QIDQ5326346zbMATH OpenOpenAlexFDO

Authors Róbert Nagy, Gerardo Schneider, Aram Timofeitchik

Publication date 5 August 2013

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-36742-7_32

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• A local approach to the testing of real-time systems
• Complete test graph synthesis for symbolic real-time systems
• scientific article; zbMATH DE number 778419
• Conformance testing for real-time systems
• Automated Technology for Verification and Analysis

Describes a project that uses

Uses Software

• RUGVEF
• CasparCG

This page was built for publication: Automatic testing of real-time graphics systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5326346)