1 Inspecciones de Software R. Casallas Dpto. de Ingeniería de Sistemas y Computación Universidad de los Andes.