RandoopExtensions