SRCIROR: a toolset for mutation testing of C source code and LLVM intermediate representation-Reference-Cited by-同舟云学术

SRCIROR: a toolset for mutation testing of C source code and LLVM intermediate representation

Published:2018-09-03 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering
language:
Short-container-title:

Author:

Hariri Farah¹,Shi August¹

Affiliation:

1. University of Illinois at Urbana-Champaign, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3238147.3240482

Reference20 articles.

1. Libtooling. http://clang.llvm.org/docs/LibTooling.html. Libtooling. http://clang.llvm.org/docs/LibTooling.html.

2. Matching the Clang AST. http://clang.llvm.org/docs/LibASTMatchers.html. Matching the Clang AST. http://clang.llvm.org/docs/LibASTMatchers.html.

3. Establishing Theoretical Minimal Sets of Mutants

4. James H. Andrews and Amin Alipour. MutGen tool. https://github.com/alipourm/cmutate. James H. Andrews and Amin Alipour. MutGen tool. https://github.com/alipourm/cmutate.

5. Is mutation an appropriate tool for testing experiments?

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

1. High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM;2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2024-03-02

2. Mutation testing optimisations using the Clang front‐end;Software Testing, Verification and Reliability;2023-10-17

3. F-ASTMut mutation optimisations techniques using the Clang front-end;Software Impacts;2023-05

4. DaMAT: A Data-driven Mutation Analysis Tool;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05

5. The language mutation problem: Leveraging language product lines for mutation testing of interpreters;Journal of Systems and Software;2023-01