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. 139-146 2009 TASE http://dx.doi.org/10.1109/TASE.2009.22 conf/tase/2009 db/conf/tase/tase2009.html#HwangLTCL09