Technical Perspective: Veritesting Tackles Path-Explosion Problem
"Enhancing Symbolic Execution with Veritesting" by Avgerinos et al. proposes an effective technique called veritesting that addresses the scalability…
Technical Perspective: Veritesting Tackles Path-Explosion Problem
Symbolic Execution For Software Testing: Three Decades Later
Asserting and Checking Determinism For Multithreaded Programs
A View of the Parallel Computing Landscape
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