On the use of control- and data-ow in fault localization - Ribeiro, Henrique Lemos (2016)