H.: A symbolic java virtual machine for test case generation (2004)

by R A Müller, C Lembeck, Kuchen
Venue:In: IASTED Conf. on Software Engineering