@misc{14142,
  author = {Tao Yue},
  title = {Automated Transition from Use Cases to UML State Machines to Support State-based Testing},
  year = {2010},
  journal = {STAP 2010, Beijing, China},
}