USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 1 results:
Filters: Author is Suhabe Bugrara [Clear All Filters]
.
2013. Redundant State Detection for Dynamic Symbolic Execution. 2013 USENIX Annual Technical Conference (USENIX ATC 13). :199--211.