Invariant based fault localization by analyzing error propagation. - Wang, Tiantian; Wang, Kechao; Su, Xiaohong; Zhang, Lei (Future Gener. Comput. Syst., 2019)