Symbolic execution formally explained

de Boer, FS; Bonsangue, M

de Boer, FS (corresponding author), Ctr Wiskunde & Informat CWI, Leiden, Netherlands.; de Boer, FS (corresponding author), Leiden Univ, Leiden Inst Adv Comp Sci LIACS, Leiden, Netherlands.

FORMAL ASPECTS OF COMPUTING, ; ():

Abstract

In this paper, we provide a formal explanation of symbolic execution in terms of a symbolic transition system and prove its correctness and completene......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索