On the functional validity of the worm-killing worm | IEEE Conference Publication | IEEE Xplore