Properties of code with summation for logical circuit test organization | IEEE Conference Publication | IEEE Xplore