R. Müller

A Symbolic Java Vitual Machine for Test-Case Generation

Herbert Kuchen, Roger A. Müller, C Lembeck, 2004 .

GlassTT - A Symbolic Java Virtual Machine using Constraint Solving Techniques for Glass-Box Test Case Generation

Herbert Kuchen, Roger A. Müller, C Lembeck, 2003 .

Topological order in a broken-symmetry state

R. Müller, 2015 .

A symbolic Java virtual machine for test case generation

Herbert Kuchen, Christoph Lembeck, Roger A. Müller, 2004, IASTED Conf. on Software Engineering.

Constraint Solving for Generating Glass-Box Test Cases

Herbert Kuchen, Rafael Caballero, Roger A. Müller, 2004 .