Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing
IEEE SOFTWARE(2024)
摘要
Hybrid program analysis approaches that combine static and dynamic analysis have resulted in powerful tools for automated software testing. In this article, we argue for hybrid techniques that allow minimal but critical intervention from experts to better guide software testing.
更多查看译文
关键词
Fuzzing,Software,Generators,Estimation,Memory management,Benchmark testing,Timing
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要