ACM

Communications of the ACM

Latest Research

From Communications of the ACM

Boosting Fuzzer Efficiency: An Information Theoretic Perspective

In this paper, we take the fundamental perspective of fuzzing as a learning process. Marcel Böhme, Valentin J. M. Manès, Sang Kil Cha
From Communications of the ACM | November 2023

From Communications of the ACM

Enhancing Symbolic Execution with Veritesting

In this article, we present a new technique for generating formulas called veritesting that alternates between static symbolic execution (SSE) and dynamic symbolic... Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, David Brumley
From Communications of the ACM | June 2016