Deriving Software Statistical Testing Model from UML Model. - Yan Jiong; Ji Wang 001; Huowang Chen (QSIC, 2003)

Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models. - Yan Jiong; Ji Wang 001; Huowang Chen (QSIC, 2004)