Property-Oriented Test Generation from UML Statecharts

@inproceedings{Li-al:ASE04,
  author    = {Shuhao Li and
               Ji Wang and
               Zhi{-}Chang Qi},
  title     = {{Property-Oriented} Test Generation from {UML} Statecharts},
  booktitle = {ASE},
  pages     = {122--131},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
}