Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing
Sign Up to like & getrecommendations! Published in 2024 at "IEEE Software"
DOI: 10.1109/ms.2023.3237981
Abstract: 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… read more here.
Keywords: execution expert; symbolic execution; fuzzing symbolic; better testing ... See more keywords