Symbolic execution for software testing

Title
Symbolic execution for software testing
Authors
Keywords
-
Journal
COMMUNICATIONS OF THE ACM
Volume 56, Issue 2, Pages 82
Publisher
Association for Computing Machinery (ACM)
Online
2013-01-30
DOI
10.1145/2408776.2408795

Ask authors/readers for more resources

Add your recorded webinar

Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.

Upload Now

Become a Peeref-certified reviewer

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started