N Adjir, PD Saqui-Sannes, KM Rahmouni - Testing of Software and …, 2009 - Springer

Testing real-time systems using TINA.

case studies

Saqui-Sannes

GSID: fOj1soQH6OUJ

Excerpt

The paper presents a technique for model-based black-box conformance testing of real-time systems using the Time Petri Net Analyzer TINA. Such test suites are derived from a …