Deriving Test Cases from B Machines Using Class Vectors.

Wing Lok Yeung Karl R. P. H. Leung Deriving Test Cases from B Machines Using Class Vectors. 71-76 2005 conf/vveis/2005 MSVVEIS db/conf/vveis/msvveis2005.html#YeungL05