Model-Checker-Based Testing of LTL Specifications

Luis GarcĂ­a, Steve Roach. Model-Checker-Based Testing of LTL Specifications. In Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA. pages 417-418, IEEE Computer Society, 2007. [doi]

Abstract

Abstract is missing.