Author:
Woo Gyun,Chae Heung Seok,Jang Hanil
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Beizer, B.: Software Testing Techniques. John Wiley & Sons, Inc, New York (1990)
2. Boujarwah, A., Saleh, K.: Compiler test case generation methods: a survey and assessment. Information and Software Technology 39, 617–625 (1997)
3. Kossatchev, A., Posypkin, M.: Survey of compiler testing methods. Programming and Computer Software 31, 10–19 (2005)
4. Harm, J., Lämmel, R.: Two-dimensional approximation coverage. Informatica (Slovenia), 24 (2000)
5. Hannan, J., Pfenning, F.: Compiler verification in LF. In: Scedrov, A. (ed.) Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp. 407–418. IEEE Computer Society Press, Los Alamitos (1992)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献