Added initial code for Randoop