Random Grammar-based Testing for Covering All Non-Terminals