USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 2 results:
Filters: Author is David A. Ramos [Clear All Filters]
.
2016. Under-Constrained Symbolic Execution: Correctness Checking for Real Code. 2016 USENIX Annual Technical Conference (USENIX ATC 16).
.
2015. Under-Constrained Symbolic Execution: Correctness Checking for Real Code. 24th USENIX Security Symposium (USENIX Security 15). :49--64.