Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints

Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints

10.14722/ndss.2019.23530

Saved in:

書目詳細資料
Main Authors:	Shiqi, Shen, Shinde, Shweta, Ramesh, Soundarya, Roychoudhury, Abhik, Saxena, Prateek
其他作者:	DEPARTMENT OF COMPUTER SCIENCE
格式:	Conference or Workshop Item
出版:	Internet Society 2019
在線閱讀:	https://scholarbank.nus.edu.sg/handle/10635/156926
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Type and interval aware array constraint solving for symbolic execution
由: SHUAI, Ziqi, et al.
出版: (2021)

Partial solution based constraint solving cache in symbolic execution
由: SHUAI, Ziqi, et al.
出版: (2024)

Interpolation Methods for Symbolic Execution
由: CHU DUC HIEP
出版: (2013)

AUTOMATIC GRADING, WHITE BOX AUTOGRADER, SYMBOLIC EXECUTION, CONCOLIC EXECUTION, PATH CONSTRAINT, WEB SERVICE
由: Sudyanto, Morgen

Linear Obfuscation to Combat Symbolic Execution
由: WANG, Zhi, et al.
出版: (2011)

Unbounded symbolic execution for program verification
由: Jaffar, J., et al.
出版: (2013)

Symbolic Execution for Advanced Program Reasoning
由: VIJAYARAGHAVAN MURALI
出版: (2014)

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution.
由: Wang, Guanhua, et al.
出版: (2020)

TRACER: A symbolic execution tool for verification
由: Jaffar, J., et al.
出版: (2013)

Analyze sensitive information transmission with symbolic execution for Android
由: Zhuo, Mingde
出版: (2015)

KRover: A symbolic execution engine for dynamic kernel analysis
由: PITIGALA ARACHCHILLAGE, Pansilu Madhura Bhashana Pitigalaarachchi, et al.
出版: (2023)

PRECISE YET SCALABLE RESOURCE ANALYSIS VIA SYMBOLIC EXECUTION
由: RASOOL MAGHAREH
出版: (2017)

Enhancing symbolic execution of heap-based programs with separation logic for test input generation
由: PHAM, Long H., et al.
出版: (2019)

FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers
由: TU, Haoxin, et al.
出版: (2022)

Neural-Symbolic Cognitive Reasoning
由: Dov M. Gabbay, Jörg Siekmann, Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay
出版: (2017)

Symbolic representation of neural networks
由: Setiono, R., et al.
出版: (2014)

Symbolic message sequence charts
由: Roychoudhury, A., et al.
出版: (2013)

Symbolic message sequence charts
由: Roychoudhury, A., et al.
出版: (2013)

The Art of Symbol-Making: Literary Symbol
由: Leetai, Antonio T.
出版: (1957)

Attention mechanism optimization for sub-symbolic-based and neural-symbolic-based natural language processing
由: Ni, Jinjie
出版: (2023)

Path exploration based on symbolic output
由: Qi, D., et al.
出版: (2013)

Using SMT solver and symbolic execution to generate test inputs for C programs : Luận văn ThS. Công nghệ thông tin
由: Do, Quoc Huy
出版: (2017)

A Sense of Symbol: Symbol in Comparative Religion and the Georgics
由: Doherty, John F.
出版: (1969)

Adaptive symbol-by-symbol reception of PSK on channels with unknown phase
由: Kam, Pooi Yuen, et al.
出版: (2014)

Rule extraction: From neural architecture to symbolic representation
由: CARPENTER, Gail A., et al.
出版: (1995)

Symbolic interactionism
由: Williams, James Patrick
出版: (2015)

Symbolic Landscapes
出版: (2017)

Obscuro: A bitcoin mixer using trusted execution environments
由: Tran, Muoi, et al.
出版: (2019)

BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
由: Shinde, Shweta, et al.
出版: (2023)

Composition operators induced by monomial symbols and symbols with φ(D)⊂D
由: Hua, Shanshan
出版: (2021)

Cascade ARTMAP: Integrating neural computation and symbolic knowledge processing
由: TAN, Ah-hwee
出版: (1997)

Cascade ARTMAP: Integrating neural computation and symbolic knowledge processing
由: Tan, A.-H.
出版: (2014)

Sound symbolism in learning: An exploratory study on the effect of sound symbolism on guessing and recall
由: Chew, Valentia Zi Xin
出版: (2016)

The Economics of Symbolic Exchange
由: Dolgin, Alexander
出版: (2017)

Symbolic expression manipulator
由: Lo, Bernard, et al.
出版: (1990)

Symbolic communicator (SYMCOM)
由: Lupos, Michael F., et al.
出版: (1992)

The symbolic biologies of the aswang
由: Dela Pena, Monique
出版: (2010)

Center, Symbols and Heirarchies
由: Polo, Jaime B.
出版: (1986)

Localizing Patch Points From One Exploit.
由: Shen, Shiqi, et al.
出版: (2023)

Parallel execution of constraint handling rules - Theory, implementation and application
由: LAM SOON LEE, EDMUND
出版: (2011)