![Software engineering / Computer programming / Computing / Object-oriented programming languages / KeY / Symbolic execution / Thread / LLVM / Parallel computing / D / Concolic testing Software engineering / Computer programming / Computing / Object-oriented programming languages / KeY / Symbolic execution / Thread / LLVM / Parallel computing / D / Concolic testing](https://www.pdfsearch.io/img/2947c480543c2baacf63d98f14c77bfc.jpg) Date: 2017-04-30 18:44:12Software engineering Computer programming Computing Object-oriented programming languages KeY Symbolic execution Thread LLVM Parallel computing D Concolic testing | | Poster: Dynamic Taint Analysis of Concurrent Program Based on Symbolic Execution Yu Hao∗ , Xiaodong Zhang∗ , Zijiang Yang† and Ting Liu∗ ,IEEEauthorrefmark2 ∗ Ministry of Education Key Lab for Intelligent NetwAdd to Reading ListSource URL: www.ieee-security.orgDownload Document from Source Website File Size: 514,41 KBShare Document on Facebook
|