An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique
暂无分享,去创建一个
Wei Wu | Chen Zhao | Wuwei Shen | Qiuming Tao | Chen Zhao | Wei Wu | Wuwei Shen | Qiuming Tao
[1] C. J. Burgess,et al. The automatic generation of test cases for optimizing Fortran compilers , 1996, Inf. Softw. Technol..
[2] Huai Liu,et al. Conformance Testing of Network Simulators Based on Metamorphic Testing Technique , 2009, FMOODS/FORTE.
[3] Stephen S. Yau,et al. Integration Testing of Context-sensitive Middleware-based Applications: a Metamorphic Approach , 2006, Int. J. Softw. Eng. Knowl. Eng..
[4] Hanan Samet. Compiler testing via symbolic interpretation , 1976, ACM '76.
[5] Tsong Yueh Chen,et al. Metamorphic testing and beyond , 2003, Eleventh Annual International Workshop on Software Technology and Engineering Practice.
[6] Baowen Xu,et al. Application of Metamorphic Testing to Supervised Classifiers , 2009, 2009 Ninth International Conference on Quality Software.
[7] Takahide Yoshikawa,et al. Random program generator for Java JIT compiler test system , 2003, Third International Conference on Quality Software, 2003. Proceedings..
[8] Carlos Urias Munoz,et al. Automatic Generation of Random Self-Checking Test Cases , 1983, IBM Syst. J..
[9] Ken Kennedy,et al. Optimizing Compilers for Modern Architectures: A Dependence-based Approach , 2001 .
[10] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.
[11] Tsong Yueh Chen,et al. Metamorphic testing of programs on partial differential equations: a case study , 2002, Proceedings 26th Annual International Computer Software and Applications.
[12] Brian A. Malloy,et al. An Interpretation of Purdom's Algorithm forAutomatic Generation of Test Cases , 2001 .
[13] Flemming Nielson,et al. Semantics with applications - a formal introduction , 1992, Wiley professional computing.
[14] Tsong Yueh Chen,et al. Case studies on the selection of useful relations in metamorphic testing , 2004 .
[15] Zongyuan Yang,et al. Metamorphic Testing and Its Applications , 2004 .
[16] Mikhail Posypkin,et al. Survey of Compiler Testing Methods , 2005, Programming and Computer Software.
[17] W. M. McKeeman,et al. Differential Testing for Software , 1998, Digit. Tech. J..
[18] Abdulazeez S. Boujarwah,et al. Compiler test case generation methods: a survey and assessment , 1997, Inf. Softw. Technol..
[19] Liang Guo,et al. Automated test program generation for an industrial optimizing compiler , 2009, 2009 ICSE Workshop on Automation of Software Test.