Testfallerzeugung mit einer symbolischen virtuellen Maschine und Constraint Solvern. - Christoph Lembeck; Roger A. Müller; Herbert Kuchen (GI Jahrestagung (2), 2004)

A symbolic Java virtual machine for test case generation. - Roger A. Müller; Christoph Lembeck; Herbert Kuchen (IASTED Conf. on Software Engineering, 2004)

Extreme Programming in a University Project. - Roger A. Müller (XP, 2004)

XePtance: Supporting Distributed Acceptance Tests in Extreme Programming Projects. - Roger A. Müller; Björn Eilers; Christian Janiesch; Herbert Kuchen; Jörg Becker 001 (AMCIS, 2006)

Automatische Erzeugung von Testfällen. - Herbert Kuchen; Christoph Lembeck; Roger A. Müller (Softwaretechnik-Trends, 2006)