Towards a Novel Statistical Method for Generating Test Sets with a Given Coverage Probability. - Cristiane Selem Ferreira Neves; Eber Assis Schmitz; Fábio Protti; Antonio Juarez Alencar (SEKE, 2011)