White on black: a white-box-oriented approach for selecting black box-generated test cases | IEEE Conference Publication | IEEE Xplore