Input and Output Generation for the Verification of ALU: A Use Case | IEEE Conference Publication | IEEE Xplore