Um algoritmo para o cálculo de cobertura de estados. - Martin Nascimento; Patricia Vilain (CIbSE, 2014)