A Utility for Showing Program Integrated Information Changes between Versions in a Translation Verification Test. - Naotaka Kato; Kazunori Matsushita; Makoto Arisawa (ISUC, 2008)