Efficient machine-code test-program induction | IEEE Conference Publication | IEEE Xplore