Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators

@inproceedings{Bailey1996TargetSensitiveCO,
  title={Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators},
  author={Mark W. Bailey and Jack W. Davidson},
  booktitle={PLDI},
  year={1996}
}
Building compilers that generate correct code is difficult. In this paper we present a compiler testing technique that closes the gap between actual compiler implementations and correct compilers. Using formal specifications of procedure calling conventions, we have built a target-sensitive test suite generator that builds test cases for a specific aspect… CONTINUE READING