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.

Authors

Martin Nascimento

This author has not been identified. Look up 'Martin Nascimento' in Google

Patricia Vilain

This author has not been identified. Look up 'Patricia Vilain' in Google