Test coverage models for system test? | IEEE Conference Publication | IEEE Xplore