@Article{	  pretschner.ea:model:2004-b,
  abstract	= {The spiraling nature of evolutionary software development
		  processes produces executable parts of the system at the
		  end of each loop. It is argued that these parts should
		  consist not only of programming language code, but of
		  executable graphical system models. As a main benefit of
		  the use of more abstract, yet formal, modeling languages, a
		  method for model based test sequence generation for
		  reactive systems on the grounds of Constraint Logic
		  Programming as well as its implementation in the CASE tool
		  AF is presented. },
  author	= {A. Pretschner and H. L{\"o}tzbeyer and J. Philipps},
  copyright	= {Elsevier},
  journal	= {Journal of Systems and Software},
  language	= {USenglish},
  month		= {March},
  number	= 3,
  pages		= {315--329},
  title		= {Model Based Testing in Incremental System Development},
  volume	= 70,
  year		= 2004,
  user		= {pretscha}
}