katc https://blog.hatena.ne.jp/katc/ ヾﾉ*＞ㅅ＜)ﾉｼ帳 https://katc.hateblo.jp/ シンボリック実行 論文紹介 はい、シンボリック実行だいすきクラブの友利奈緒です。今回は今年のNDSSで採択された "Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints" の論文紹介です。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkatc.hateblo.jp%2Fentry%2F2019%2F06%2F09%2F035336" title="［論文紹介］Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints (NDSS 2019) - ヾﾉ*＞ㅅ＜)ﾉｼ帳" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/k/katc/20190608/20190608193341.png Hatena Blog https://hatena.blog 2019-06-09 18:40:00 rich https://katc.hateblo.jp/entry/2019/06/09/035336 1.0 100%