acm-header
Sign In

Communications of the ACM

Latest Research

Boosting Fuzzer Efficiency: An Information Theoretic Perspective
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
Enhancing Symbolic Execution with Veritesting
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
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account