Unbounded symbolic execution for program verification

Unbounded symbolic execution for program verification

10.1007/978-3-642-29860-8_32

Saved in:

書目詳細資料
Main Authors:	Jaffar, J., Navas, J.A., Santosa, A.E.
其他作者:	COMPUTER SCIENCE
格式:	Conference or Workshop Item
出版:	2013
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/41106
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	National University of Singapore

相似書籍

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

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

Symbolic verification of message passing interface programs
由: YU, Hengbiao, et al.
出版: (2020)

Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints
由: Shiqi, Shen, et al.
出版: (2019)

Formal verification of concurrent and distributed constraint-based java programs
由: Ramirez, R., et al.
出版: (2013)

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

Chineseness unbound
由: Reid, A.
出版: (2014)

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

Approximate verification of the symbolic dynamics of markov chains
由: Agrawal, M., et al.
出版: (2013)

Symbolic verification of multiagent graphical decision models
由: Zeng, Y., et al.
出版: (2014)

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

SYMBOLIC TEMPORAL VERIFICATION TECHNIQUES WITH EXTENDED REGULAR EXPRESSIONS
由: SONG YAHUI
出版: (2023)

Efficient memoization for dynamic programming with ad-hoc constraints
由: Jaffar, J., et al.
出版: (2013)

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

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

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

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

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

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

Boosting concolic testing via interpolation
由: Jaffar, J., et al.
出版: (2014)

Symbolic simulation on complicated loops for WCET path analysis
由: Chu, D.-H., et al.
出版: (2013)

Fieldwork Unbound: Spaces of Association in Postconflict Vietnam*
由: Gillen, J.
出版: (2016)

Framework for combining analysis and verification
由: Heintze, N., et al.
出版: (2013)

Recursive abstractions for parameterized systems
由: Jaffar, J., et al.
出版: (2013)

A complete method for symmetry reduction in safety verification
由: Chu, D.-H., et al.
出版: (2013)

Nonexistence of unbounded nonoscillatory solutions of partial difference equations
由: Wong, P.J.Y., et al.
出版: (2014)

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

Provably unbounded memory advantage in stochastic simulation using quantum mechanics
由: Garner, A.J.P, et al.
出版: (2020)

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)

Breaking of PT-symmetry in bounded and unbounded scattering systems
由: Ambichl, Philipp, et al.
出版: (2014)

Non-existence of unbounded fatou components of a meromorphic function
由: Zheng J.-H., et al.
出版: (2014)

The gradient of the gravitational potentials with unbounded density functions
由: Fupinwong W.
出版: (2014)

The gradient of the gravitational potentials with unbounded density functions
由: W. Fupinwong
出版: (2018)

The Henstock-Kurzweil integral with integrators of unbounded variation
由: VARAYU BOONPOGKRONG
出版: (2010)

Program analysis and verification
由: Hu, Tsun Hao
出版: (2017)

Program analysis and verification
由: Ong, Xuan Jie
出版: (2017)

Verification of graph programs
由: POSKITT, Christopher M.
出版: (2012)

Gene expression programming for symbolic regression
由: Jandhyala Manognya
出版: (2009)

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

Resilient modulus and influencing parameters of unbound crushed limestone
由: Chanpheng Phommavone
出版: (2014)