Program spectra analysis in embedded software: A case study