Kirill Bogdanov. Testing from X-Machine Specifications. In Robert M. Hierons, Jonathan P. Bowen, Mark Harman, editors, Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers. Volume 4949 of Lecture Notes in Computer Science, pages 184-208, Springer, 2008. [doi]
Abstract is missing.