Localizing Program Errors Based on Invariant Concept