@misc{14565,
  author = {Shaukat Ali and Tao Yue},
  title = {Automated Transition from Use Cases to UML State Machines for State-based Testing},
  year = {2011},
  number = {2011-05},
  publisher = {Simula Research Laboratory},
  note = {This technical report is an early version of a published paper. The published version can be found here:https://www.simula.no/publications/automated-transition-use-cases-uml-state-machines-support-state-based-testing},
}