Atzmueller, M.; Baumeister, J. & Puppe, F. (2007), Pattern-Constrained Test Case Generation, in 'Proc. 20th International Florida Artificial Intelligence Research Society Conference (FLAIRS-2007)' , AAAI Press, , pp. 518--523 .