Um algoritmo para o cálculo de cobertura de estados

Martin Nascimento, Patricia Vilain. Um algoritmo para o cálculo de cobertura de estados. In Jaelson Castro, Claudia P. Ayala, Giovanni Giachetti, Márcia Lucena, Carlos Cares, Xavier Franch, Monalessa Perini Barcellos, Maria Lencastre, Beatriz Marín, Ricardo Gacitua, editors, Proceedings of the XVII Iberoamerican Conference on Software Engineering, CIbSE 2014, Pucon, Chile, April 23-25, 2014. pages 165-178, Curran Associates, 2014.

Bibliographies