@Article{	  philipps.ea:model-based:2003,
  abstract	= {Testing denotes a set of activities that aim at
		  discovering discrepancies between actual and intended
		  behaviors of a system. Often, the intended behavior is
		  known only implicitly, which renders the process of testing
		  unstructured, unmotivated in its details, and barely
		  reproducible. The use of explicit and executable models to
		  describe the intended behavior promises to solve these
		  problems. We use an industrial case study---a smart card
		  application---to present a method for automatically
		  generating test cases from such explicit models. The test
		  cases are used both to validate the model and verify the
		  actual card.},
  author	= {J. Philipps and A. Pretschner and O. Slotosch and E.
		  Aiglstorfer},
  journal	= {Electronic Notes in Theoretical Computer Science},
  language	= {USenglish},
  month		= {June},
  pages		= {168--182},
  title		= {Model-Based Test Case Generation for Smart Cards},
  volume	= 80,
  year		= 2003,
  user		= {pretscha}
}