Testing real-time systems using TINA. Saqui-Sannes PD. N Adjir, PD Saqui-Sannes, KM Rahmouni - Testing of Software and …, 2009 - Springer GSID: fOj1soQH6OUJ
Testing against requirements using UML environment models. [No authors listed] D Hatebur, M Heisel, T Santen… - … engineering und test …, 2008 - gm.fh-koeln.de GSID: 7bwarWW1xtoJ
Black-box system testing of real-time embedded systems using random and search-based testing. [No authors listed] GSID: XJKtn4hhb9gJ
Random testing: Theoretical results and practical implications. [No authors listed] GSID: I39hA7fESvoJ
Generating test data from OCL constraints with search techniques. [No authors listed] GSID: h31hUM5vZGYJ