An efficient bitwise algorithm for intra-procedural data-flow testing coverage - Chaim, Marcos Lordello; Araujo, Roberto Paulo Andrioli de (Information Processing Letters, 2013)