Diagnosis de Software usando técnicas Max-CSP. - R. Cevallos; Rafael M. Gasca; Carmelo Del Valle; Miguel Toro (JISBD, 2002)