Dynamic Inference of Likely Metamorphic Properties to Support Differential Testing

Proceedings - 10th International Workshop on Automation of Software Test, AST 2015

Volumn , Issue , 2015, Pages 55-59

  Su, Fang Hsiang ^a   Bell, Jonathan ^a   Murphy, Christian ^b   Kaiser, Gail ^a  

^a Department of Earth and Environmental Sciences   (United States)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; ARTIFICIAL INTELLIGENCE; INPUT OUTPUT PROGRAMS; LEARNING SYSTEMS; PROGRAM DEBUGGING; TESTING;

DIFFERENTIAL TESTING; DYNAMIC INFERENCE; INPUT PARAMETER; MACHINE LEARNING APPLICATIONS; METAMORPHIC TESTING; TEST PROGRAM; TESTING TECHNIQUE; UNIT TESTING;

SOFTWARE TESTING;

EID: 84945392143     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AST.2015.19     Document Type: Conference Paper

References (16)

1. M. Boshernitsan, R. Doong, and A. Savoia. From daikon to agitator: Lessons and challenges in building a commercial tool for developer testing. ISSTA '06, pages 169-180. ACM, 2006.
2. E. Bruneton, R. Lenglet, and T. Coupaye. Asm: A code manipulation tool to implement adaptable systems. In In Adaptable and extensible component systems, 2002.
3. T. Y. Chen, S. C. Cheung, and S. Yiu. Metamorphic testing: a new approach for generating next test cases. Technical Report HKUST-CS98-01, Dept. of Computer Science, HKUST, 1998.
4. T. Y. Chen, C.-a. Sun, G. Wang, B. Mu, H. Liu, and Z. Wang. A metamorphic relation-based approach to testing web services without oracles. Int. J. Web Serv. Res., 9(1):51-73, Jan. 2012.
5. M. D. Davis and E. J. Weyuker. Pseudo-oracles for non-testable programs. In Proceedings of the ACM '81 Conference, ACM, pages 254-257, New York, NY, USA, 1981. ACM.
6. S. Elbaum, H. N. Chin, M. B. Dwyer, and J. Dokulil. Carving differential unit test cases from system test cases. FSE-14. ACM, 2006.
7. M. D. Ernst, J. H. Perkins, P. J. Guo, S. McCamant, C. Pacheco, M. S. Tschantz, and C. Xiao. The daikon system for dynamic detection of likely invariants. Sci. Comput. Program., 69(1-3):35-45, Dec. 2007.
8. D. Hoffman. A Taxonomy for Test Oracles. In 11th International Software Quality Week, May 1998.
9. U. Kanewala and J. M. Bieman. Using machine learning techniques to detect metamorphic relations for programs without test oracles. ISSRE '13, 2013.
10. H. Liu, F. Kuo, D. Towey, and T. Chen. How effectively does metamorphic testing alleviate the oracle problem IEEE TSE, 2013.
11. C. Murphy, J. Bell, F.-H. Su, and G. Kaiser. Metamorphic runtime checking of applications without test oracles. Technical Report CUCS-023-13, Dept. of Computer Science, Columbia University, 2013.
12. C. Murphy, G. Kaiser, L. Hu, and L. Wu. Properties of machine learning applications for use in metamorphic testing. SEKE '08, 2008.
13. C. Murphy, M. S. Raunak, A. King, S. Chen, C. Imbriano, G. Kaiser, I. Lee, O. Sokolsky, L. Clarke, and L. Osterweil. On effective testing of health care simulation software. SEHC '11, 2011.
14. C. Murphy, K. Shen, and G. Kaiser. Automated system testing of programs without test oracles. ISSTA '09, 2009.
15. T. Xie, K. Taneja, S. Kale, and D. Marinov. Towards a framework for differential unit testing of object-oriented programs. AST '07, 2007.
16. J. Zhang, J. Chen, D. Hao, Y. Xiong, B. Xie, L. Zhang, and H. Mei. Search-based inference of polynomial metamorphic relations. ASE '14. ACM, 2014.