Comparing Execution Trace Using Merkle- Tree to Detect Backward Incompatibilities | IEEE Conference Publication | IEEE Xplore