Bitwise Algorithm - powered Definition-Use Association coverage (BA-DUA). Data-flow testing coverage for Java - parent project.