Faster mutation analysis via equivalence modulo states-Reference-Cited by-同舟云学术

Faster mutation analysis via equivalence modulo states

Published:2017-07-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Wang Bo¹,Xiong Yingfei¹,Shi Yangqingwei¹,Zhang Lu¹,Hao Dan¹

Affiliation:

1. Peking University, China

Publisher

ACM

Link

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

Reference82 articles.

1. Iftekhar Ahmed Carlos Jensen Alex Groce and Paul E McKenney. 2017. Applying Mutation Analysis on Kernel Test Suites: An Experience Report. In ICSTW. 110–115. Iftekhar Ahmed Carlos Jensen Alex Groce and Paul E McKenney. 2017. Applying Mutation Analysis on Kernel Test Suites: An Experience Report. In ICSTW. 110–115.

2. Is mutation an appropriate tool for testing experiments?

3. Randal E Bryant O’Hallaron David Richard and O’Hallaron David Richard. 2003. Randal E Bryant O’Hallaron David Richard and O’Hallaron David Richard. 2003.

4. Computer systems: a programmer’s perspective. Prentice Hall Upper Saddle River. Computer systems: a programmer’s perspective. Prentice Hall Upper Saddle River.

5. Thierry Titcheu Chekam Mike Papadakis and Yves Le Traon. 2016. Assessing and Comparing Mutation-based Fault Localization Techniques. arXiv preprint arXiv:1607.05512 (2016). Thierry Titcheu Chekam Mike Papadakis and Yves Le Traon. 2016. Assessing and Comparing Mutation-based Fault Localization Techniques. arXiv preprint arXiv:1607.05512 (2016).

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

1. A Survey of Learning-based Automated Program Repair;ACM Transactions on Software Engineering and Methodology;2023-12-23

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

3. ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

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

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