Random tests for STRING>.