Kondratyev D., Promsky A. Towards automated error localization in C programs with loops // # 14, 2019
