ヾノ*>ㅅ<)ノシ帳

ノンジャンルのふりーだむなブログです。

論文紹介

[論文紹介]Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints (NDSS 2019)

はい、シンボリック実行だいすきクラブの友利奈緒です。今回は今年のNDSSで採択された "Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints" の論文紹介です。