Atzmueller, Martin, Baumeister, Joachim and Puppe, Frank. "Pattern-Constrained Test Case Generation." Paper presented at the meeting of the Proc. 20th International Florida Artificial Intelligence Research Society Conference (FLAIRS-2007), 2007.