Testing, verification, and diagnosis in the presence of unknowns | IEEE Conference Publication | IEEE Xplore