M-S test based on specification validation using octrees in the measure space | IEEE Conference Publication | IEEE Xplore