Domain strategy and coverage metric for validation | IEEE Conference Publication | IEEE Xplore