Coverage measurement for software application testing using partially ordered domains and symbolic trajectory evaluation techniques | IEEE Conference Publication | IEEE Xplore