Evaluating and Improving Static Analysis Tools Via Differential Mutation Analysis
2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)(2021)
摘要
Static analysis tools attempt to detect faults in code without executing it. Understanding the strengths and weaknesses of such tools, and performing direct comparisons of their ef-fectiveness, is difficult, involving either manual examination of differing warnings on real code, or the bias-prone construction of artificial test cases. This paper proposes a novel automated approach to comparing sta...
更多查看译文
关键词
mutation testing,static analysis,smart contracts
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要