Richard H. Carver, Yu Lei. A Modular Approach to Model-Based Testing of Concurrent Programs. In João Lourenço, Eitan Farchi, editors, Multicore Software Engineering, Performance, and Tools - International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings. Volume 8063 of Lecture Notes in Computer Science, pages 85-96, Springer, 2013. [doi]
Abstract is missing.