A Symbolic Java Virtual Machine for Test Case Generation (2004)

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