Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing

Ismet Burak Kadron,Yannic Noller,Rohan Padhye,Tevfik Bultan,Corina S. Pasareanu,Koushik Sen

IEEE SOFTWARE（2024）

引用 0|浏览5

暂无评分

摘要

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

正在生成论文摘要