Automated annotation test generation for Ruby