Thumbnail
Access Restriction
Subscribed

Author Cadar, Cristian ♦ Sen, Koushik
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Abstract The challenges---and great promise---of modern symbolic execution techniques, and the tools to help implement them.
Description Affiliation: University of California, Berkeley (Sen, Koushik) || Imperial College London (Cadar, Cristian)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 56
Issue Number 2
Page Count 9
Starting Page 82
Ending Page 90


Open content in new tab

   Open content in new tab
Source: ACM Digital Library