A Framework and Language Support for Automatic Dynamic Testing of Workflow Management Systems. - Gwan-Hwan Hwang; Che-Sheng Lin; Li-Te Tsao; Kuei-Huan Chen; Yan-You Li (TASE, 2009)