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