Combining Stochastic Grammars and Genetic Programming for Coverage Testing at the System Level