Gwan-Hwan Hwang, Che-Sheng Lin, Li-Te Tsao, Kuei-Huan Chen, Yan-You Li. A Framework and Language Support for Automatic Dynamic Testing of Workflow Management Systems. In Wei-Ngan Chin, Shengchao Qin, editors, TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China. pages 139-146, IEEE Computer Society, 2009. [doi]
Abstract is missing.