Using mutants to help developers distinguish and debug (compiler) faults-Reference-Cited by-同舟云学术

Using mutants to help developers distinguish and debug (compiler) faults

Published:2020-01-13 Issue:2 Volume:30 Page:
ISSN:0960-0833
Container-title:Software Testing, Verification and Reliability
language:en
Short-container-title:Softw Test Verif Reliab

Author:

Holmes Josie¹,Groce Alex¹^ORCID

Affiliation:

1. School of Informatics, Computing & Cyber SystemsNorthern Arizona University Flagstaff AZ USA

Publisher

Wiley

Subject

Safety, Risk, Reliability and Quality,Software

Link

https://onlinelibrary.wiley.com/doi/pdf/10.1002/stvr.1727

Reference113 articles.

1. AGroce ZhangC EideE ChenY andRegehrJ Swarm testing International symposium on software testing and analysis 2012 pp.78–88.

2. HollerC HerzigK andZellerA Fuzzing with code fragments USENIX security symposium 2012 pp.445–458.https://www.usenix.org/conference/usenixsecurity12/technical-sessions/presentation/holler .

3. LeV AfshariM andSuZ Compiler validation via equivalence modulo inputs Programming language design and implementation 2014 pp.25.

4. LeV SunC andSuZ Finding deep compiler bugs via guided stochastic program mutation Object‐oriented programming systems languages and applications OOPSLA 2015 pp.386–399.

5. RudermanJ Introducing jsfunfuzz 2007.http://www.squarefree.com/2007/08/02/introducing-jsfunfuzz/

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

1. Isolating Compiler Bugs by Generating Effective Witness Programs With Large Language Models;IEEE Transactions on Software Engineering;2024-07

2. LocSeq: Automated Localization for Compiler Optimization Sequence Bugs of LLVM;IEEE Transactions on Reliability;2022-06

3. Can Higher-Order Mutants Improve the Performance of Mutation-Based Fault Localization?;IEEE Transactions on Reliability;2022-06

4. Isolating Compiler Optimization Faults via Differentiating Finer-grained Options;2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2022-03

5. A Test Restoration Method based on Genetic Algorithm for effective fault localization in multiple-fault programs;Journal of Systems and Software;2021-02