Formal and Model-Based Testing of Concurrent Workflows

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]

Authors

Chen-Wei Wang

This author has not been identified. Look up 'Chen-Wei Wang' in Google

Alessandra Cavarra

This author has not been identified. Look up 'Alessandra Cavarra' in Google

Jim Davies

This author has not been identified. Look up 'Jim Davies' in Google