Antonov, A.; Voevodin, V.; Zhumatii, S.; Nikitenko, D.; Stefanov, K.; Shvets, P. Automating the Location of Errors and Inefficiencies in Parallel Programs. Num. Meth. Prog. 2013, 14, 11-17.