Unifying testing and analysis through behavioral coverage | IEEE Conference Publication | IEEE Xplore