Towards Symbolic Execution in Erlang

被引：8
作者：
Vidal, German [1 ]
机构：
[1] Univ Politecn Valencia, DSIC, MiST, E-46022 Valencia, Spain
来源：
PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2014 | 2015年 / 8974卷
关键词：
MODEL CHECKING; VERIFICATION;
D O I：
10.1007/978-3-662-46823-4_28
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：351 / 360
页数：10
相关论文
共 50 条
[41]   Verifying Systems Rules Using Rule-Directed Symbolic Execution [J].
Cui, Heming ;
Hu, Gang ;
Wu, Jingyue ;
Yang, Junfeng .
ACM SIGPLAN NOTICES, 2013, 48 (04) :329-341
[42]   Verified Symbolic Execution with Kripke Specification Monads (and No Meta-programming) [J].
Keuchel, Steven ;
Huyghebaert, Sander ;
Lukyanov, Georgy ;
Devriese, Dominique .
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (ICFP)
[43]   Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs [J].
Jansen, Christina ;
Goebe, Florian ;
Noll, Thomas .
GRAPH TRANSFORMATION, 2014, 8571 :65-80
[44]   Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables [J].
Rapin, Nicolas .
TESTS AND PROOFS, PROCEEDINGS, 2009, 5668 :137-152
[45]   Analysing TLS Implementations Using Full-Message Symbolic Execution [J].
Wilson, Johannes ;
Asplund, Mikael .
SECURE IT SYSTEMS, NORDSEC 2024, 2025, 15396 :283-302
[46]   Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic [J].
Stijn de Gouw ;
Frank de Boer ;
Wolfgang Ahrendt ;
Richard Bubel .
Software & Systems Modeling, 2016, 15 :1117-1140
[47]   Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic [J].
de Gouw, Stijn ;
de Boer, Frank ;
Ahrendt, Wolfgang ;
Bubel, Richard .
SOFTWARE AND SYSTEMS MODELING, 2016, 15 (04) :1117-1140
[48]   Verifying RISC-V Privilege Transition Integrity Through Symbolic Execution [J].
Tang, Shibo ;
Zhu, Jiacheng ;
Gao, Yifei ;
Zhou, Jing ;
Mu, Dejun ;
Hu, Wei .
2023 IEEE 32ND ASIAN TEST SYMPOSIUM, ATS, 2023, :189-194
[49]   A More Accurate Semantics for Distributed Erlang [J].
Svensson, Hans ;
Fredlund, Lars-Ake .
ERLANG'07: PROCEEDINGS OF THE 2007 SIGPLAN ERLANG WORKSHOP, 2007, :43-54
[50]   SYMBEXNET: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications [J].
Song, JaeSeung ;
Cadar, Cristian ;
Pietzuch, Peter .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2014, 40 (07) :695-709
12345