USENIX Security 15 - Under-Constrained Symbolic Execution: Correctness Checking for Real Code
Watch video USENIX Security 15 - Under-Constrained Symbolic Execution: Correctness Checking for Real Code online without registration, duration 30 minute 15 second in high sd quality. This video was added by user USENIX 10 December 2021, don't forget to share it with your friends and acquaintances, it has been viewed on our site 433 once and liked it 4 people.