Refined upper bounds on stopping redundancy of binary linear codes | IEEE Conference Publication | IEEE Xplore