A symbolic Java virtual machine for test case generation

Roger A. Müller, Christoph Lembeck, Herbert Kuchen. A symbolic Java virtual machine for test case generation. In IASTED International Conference on Software Engineering, part of the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 17-19, 2004. pages 365-371, IASTED/ACTA Press, 2004.

Abstract

Abstract is missing.