Bolong Zeng, Li Tan. Test Reactive Systems with Büchi-Automaton-Based Temporal Requirements. In Thouraya Bouabana-Tebibel, Stuart H. Rubin, editors, Theoretical Information Reuse and Integration. Volume 446 of Advances in Intelligent Systems and Computing, pages 31-57, Springer, 2016. [doi]
Abstract is missing.