Grouping-based nonadditive verification | IEEE Journals & Magazine | IEEE Xplore