Uploads
Contact
/
Login
Upload
Search Results for 'Concolic'
Binary Concolic Execution for Automatic Exploit Generation
test
Hongbo Li , Sihuan Li, Zachary Benavides,
ellena-manuel
Automated Unit Testing of Large Industrial Embedded Software using Concolic Testing
debby-jeon
CSV 889: Concurrent Software Verification
alida-meadow
Automated Unit Testing of Large Industrial Embedded Softwa
marina-yarberry
CUTE A Concolic Unit Testing Engine for C Koushik Sen Darko Marinov Gul Agha Department
cheryl-pisano