Specification-Driven Conformance Checking for Virtual/Silicon Devices Using Mutation Testing | IEEE Journals & Magazine | IEEE Xplore