The second step of my research was working on the Eclipse plug-in iTutor. Currently iTutor is able to create drivers to be run through JCute. JCute uses concolic execution to explore all distinct execution paths with data input.
Currently I am using command prompt in order to run the drivers in JCute and display the branch coverage statistics. Discovered that a better way to integrate iTutor with JCute with the a batch file. This will make it a lot easier to change the options the waye the user wants. The next step after jcute is correctly integrated will be to figure out how to display the results of the automated JUnit test.