Development of a Java Virtual Machine with Symbolic Execution for the Automated Test Case Generation for Java 8 Programs