@InProceedings{Froehlich,
  author =       "Peter Fr{\"o}hlich and Johannes Link",
  title =        "Automated Test Case Generation from Dynamic Models",
  pages =        "472--491",
  booktitle =    "Proceedings of ECOOP 2000",
  editor =       "E. Bertino",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1850",
  year =         "2000",
}