Detection and Diagnosis of Recurrent Faults in Software Systems by Invariant Analysis | IEEE Conference Publication | IEEE Xplore