logo

SCIENCE CHINA Information Sciences, Volume 59, Issue 5: 050108(2016) https://doi.org/10.1007/s11432-016-5544-6

Metamorphic testing as a test case selection strategy

More info
  • ReceivedDec 29, 2015
  • AcceptedJan 18, 2016
  • PublishedApr 8, 2016

Abstract


References

[1] Anand S, Burke E, Chen T Y, et al. J Syst Soft, 2013, 86: 1978-2001 Google Scholar

[2] Chen T Y, Cheung S C, Yiu S M. Metamorphic Testing: a New Approach for Generating Next Test Cases. Technical Report HKUST-CS98-01. 1998. Google Scholar

[3] Chen T Y, Ho J W K, Liu H, et al. BMC Bioinformatics, 2009, 10: 1-12 Google Scholar

[4] Kuo F C, Chen T Y, Tam W K. Testing embedded software by metamorphic testing: a wireless metering system case study. In: Proceedings of the 36th IEEE Conference on Local Computer Networks (LCN), Bonn, 2011. 295-298. Google Scholar

[5] Sun C, Wang G, Mu B, et al. Int J Web Serv Res, 2012, 9: 51-73 Google Scholar

[6] Pullum L, Ozmen O. Early results from metamorphic testing of epidemiological models. In: Proceedings of ASE/IEEE International Conference on BioMedical Computing (BioMedCom), Washington, 2012. 62-67. Google Scholar

[7] Chen T Y, Kuo F C, Towey D, et al. Sci China Inf Sci, 2015, 58: 052104-73 Google Scholar

[8] Regehr J. Finding compiler bugs by removing dead code. http://blog.regehr.org/archives/1161. 2014. Google Scholar

[9] Le V, Afshari M, Su Z. Compiler validation via equivalence modulo inputs. In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'14). New York: ACM, 2014. 216-226. Google Scholar

[10] Segura S, Hierons R M, Benavides D, et al. Inf Softw Tech, 2011, 53: 245-258 Google Scholar

[11] Lindvall M, Ganesan D, Árdal R, et al. Metamorphic model-based testing applied on NASA DAT: an experience report. In: Proceedings of the 37th International Conference on Software Engineering (ICSE'15), Florence, 2015. 129-138. Google Scholar

Copyright 2019 Science China Press Co., Ltd. 《中国科学》杂志社有限责任公司 版权所有

京ICP备18024590号-1