We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 290a891 commit 104411dCopy full SHA for 104411d
README.md
@@ -165,7 +165,7 @@ To cite SymCC in scientific work, please use the following BibTeX:
165
``` bibtex
166
@inproceedings {poeplau2020symcc,
167
author = {Sebastian Poeplau and Aurélien Francillon},
168
- title = {Symbolic execution with {SymCC}: Don't execute, compile!},
+ title = {Symbolic execution with {SymCC}: Don't interpret, compile!},
169
booktitle = {29th {USENIX} Security Symposium ({USENIX} Security 20)},
170
year = 2020,
171
address = {Boston, MA},
0 commit comments