An efficient fast full-search block-matching algorithm is presented that uses the sum of squared difference (SSD) criterion. The efficiency of this algorithm mainly depends on the homogeneity regions ...

Our algorithm responds to distinguishing syntactic structure inconsistencies (such as deadlock, lack of synchronization, dead loop) and semantic structure inconsistencies (such as data source conflict ...