Does This Code Change Affect Program Behavior? Identifying Nonbehavioral Changes with Bytecode. - Aoi Maejima; Yoshiki Higo; Junnosuke Matsumoto; Shinji Kusumoto (COMPSAC, 2020)