Thanassis Avgerinos – Communications of the ACM

Research and Advances Jun 1 2016

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 execution (DSE).

Computing Applications

Enhancing Symbolic Execution with Veritesting, illustration

Author Archives

Research and Advances Feb 1 2014

Automatic Exploit Generation

The idea is to identify security-critical software bugs so they can be fixed first.

Architecture and Hardware

Automatic Exploit Generation, illustration

Shape the Future of Computing

ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.

Get Involved