Atzmueller, Martin ; Baumeister, Joachim ; Puppe, Frank: {Pattern-Constrained Test Case Generation}. In: Proc. 20th International Florida Artificial Intelligence Research Society Conference (FLAIRS-2007) : AAAI Press, 2007, S. 518--523