Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing

doi:10.1109/MS.2023.3237981

Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing

2024-01-01

0

PRE

AI

DOI：10.1109/MS.2023.3237981

Original

Original request for help

Save

Abstract

En 中文

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.

Keywords:

Fuzzing

Software

Generators

Estimation

Memory management

Benchmark testing

Timing

Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing

Abstract

Journal

Organization