Formal Derivation of Finite State Machines for Class Testing.

Leesa Murray David A. Carrington Ian MacColl Jason McDonald Paul A. Strooper Formal Derivation of Finite State Machines for Class Testing. 42-59 1998 conf/zum/1998 ZUM db/conf/zum/zum1998.html#MurrayCMMS98