Ensuring the Observability of Structural Test Obligations | IEEE Journals & Magazine | IEEE Xplore