Comparing Execution Trace Using Merkle- Tree to Detect Backward Incompatibilities. - Atsuhito Yamaoka; Teyon Son; Kazumasa Shimari; Takashi Ishio; Kenichi Matsumoto (SANER, 2024)