Added notes about RANDOOP