Automatic Interoperability Test Generation for Source-to-Source Translators. - Mark Molloy; Kristy Andrews; James Herren; David Cutler; Paul Del Vigna (ISSTA, 1998)