Higher-Order Coverage Error Analysis for Batching and Sectioning | IEEE Conference Publication | IEEE Xplore