Text this: Validating Functional Equivalence of Re- engineered Programs via Control Path, Result, and Data Flow Comparison.