Keith W. Miller
-
An intermediate representation approach to reducing test suites for retargeted compilers
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
An automated approach to reducing test suites for testing retargeted C compilers for embedded systems
Journal of Systems and Software