Context: Software source code is frequently changed for fixing revealed bugs. These bug-
fixing changes might introduce unintended system behaviors, which are inconsistent with …