Does This Code Change Affect Program Behavior? Identifying Nonbehavioral Changes with Bytecode | IEEE Conference Publication | IEEE Xplore