Antti Huima. Behavioral System Models versus Models of Testing Strategies in Functional Test Generation. In Justyna Zander, Ina Schieferdecker, Pieter J. Mosterman, editors, Model-Based Testing for Embedded Systems. Computational Analysis, Synthesis, & Design Dynamic Systems, CRC Press, 2011. [doi]
Abstract is missing.