@article{articlea6c96d23,
title   = {An efficient bitwise algorithm for intra-procedural data-flow testing coverage},
author = {Chaim, Marcos Lordello and Araujo, Roberto Paulo Andrioli de},
year = {2013},
doi = {10.1016/j.ipl.2013.02.007},
journal   = {Information Processing Letters}
}