Designing Test Coverage for Grey Box Analysis | IEEE Conference Publication | IEEE Xplore