PET: Partial Evaluation-based Test Case Generator for Bytecode 
                
Error: class not found: Fibonacci
Error: class not found: -classpath
Error: class not found: ../../../../examples/ints
PET - version 0.2