Text this: Equivalence testing for fortran mutation system using data flow analysis / Akihiko Tanaka.