Entwicklung einer Java Virtual Machine mit symbolischer Ausführung zur automatischen Testfallgenerierung für Java 8-Programme