Comparing Execution Traces of Jupyter Notebook for Checking Correctness of Refactoring | IEEE Conference Publication | IEEE Xplore