Using compiler optimization techniques to detect equivalent mutants-Reference-Cited by-同舟云学术

Using compiler optimization techniques to detect equivalent mutants

Published:1994 Issue:3 Volume:4 Page:131-154
ISSN:0960-0833
Container-title:Software Testing, Verification and Reliability
language:en
Short-container-title:Softw. Test. Verif. Reliab.

Author:

Offutt A. Jefferson,Craft W. Michael

Publisher

Wiley

Subject

Safety, Risk, Reliability and Quality,Software

Reference21 articles.

1. A program data flow analysis procedure

2. (1980) ‘On mutation’, Ph. D. thesis, Georgia Institute of Technology, Atlanta, Georgia, U.S.A.

3. and (1993) ‘Efficient debugging with slicing and backtracking,’ in Proceedings of the 1993 International Symposium on Software Testing, and Analysis, Cambridge, Massachusetts, June 1993, ACM Press, New York, U.S.A., pp. 60–73.

4. and (1990) ‘Dynamic program slicing’, In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, White Plains, New York, June 1990, ACM Press, New York, U.S.A., pp. 246–256.

Cited by 82 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Parallel mutation testing for large scale systems;Cluster Computing;2023-06-20

3. Put Your Hands In The Air! Reducing Manual Effort in Mutation Testing;Proceedings of the XXXVI Brazilian Symposium on Software Engineering;2022-10-05

4. Equivalent Mutants Detection Based on Weighted Software Behavior Graph;International Journal of Software Engineering and Knowledge Engineering;2022-06

5. Augmenting Equivalent Mutant Dataset Using Symbolic Execution;2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2022-04