
An efficient bitwise algorithm for intra-procedural data-flow testing coverage
Keywords: ساختارهای داده; Software engineering; Data structures; Design of algorithms; Data-flow testing coverage; Program instrumentation; Run-time environments