Chen-Wei Wang, Alessandra Cavarra, Jim Davies. Formal and Model-Based Testing of Concurrent Workflows. In Manuel Núñez, Robert M. Hierons, Mercedes G. Merayo, editors, Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011. pages 252-259, IEEE Computer Society, 2011. [doi]
Abstract is missing.