TY - SER AU - Xu, Dianxiang AU - Xu, Weifeng AU - Wong, W. Eric TI - Automated Test Code Generation from Class State Models KW - Software Testing KW - Protocol State Machines KW - Uml (Unified Modeling Language) ER -