Shahar Maoz, Jani Metsä, Mika Katara. Model-Based Testing Using LSCs and S2A. In Andy Schürr, Bran Selic, editors, Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings. Volume 5795 of Lecture Notes in Computer Science, pages 301-306, Springer, 2009. [doi]
Abstract is missing.