Mark Molloy et al "Automatic interoperability test generation for source-to-source translators" International Symposium on Software Testing and Analysis Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis Clearwater Beach, Florida, United States pp93 - 101 (1998) |