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 条
  • [21] Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts
    Khalil, Amal
    Dingel, Juergen
    ADVANCES IN COMPUTERS, VOL 108, 2018, 108 : 145 - 281
  • [22] Symbolic Execution of Programmable Logic Controller Code
    Guo, Shengjian
    Wu, Meng
    Wang, Chao
    ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, : 326 - 336
  • [23] Rewriting for symbolic execution of state machine models
    Moore, JS
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 411 - 422
  • [24] Dynamic Symbolic Execution for Testing Distributed Objects
    Griesmayer, Andreas
    Aichernig, Bernhard
    Johnsen, Einar Broch
    Schlatte, Rudolf
    TESTS AND PROOFS, PROCEEDINGS, 2009, 5668 : 105 - 120
  • [25] Program Transformation Based on Symbolic Execution and Deduction
    Ji, Ran
    Haehnle, Reiner
    Bubel, Richard
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2013, 2013, 8137 : 289 - 304
  • [26] Symbolic Execution of High-Level Transformations
    Al-Sibahi, Ahmad Salim
    Dimovski, Aleksandar S.
    Wasowski, Andrzej
    PROCEEDINGS OF THE 2016 ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING (SLE'16), 2016, : 207 - 220
  • [27] Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
    Corina S. Păsăreanu
    Willem Visser
    David Bushnell
    Jaco Geldenhuys
    Peter Mehlitz
    Neha Rungta
    Automated Software Engineering, 2013, 20 : 391 - 425
  • [28] Symbolic Execution for Quantum Error Correction Programs
    Fang, Wang
    Ying, Mingsheng
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (PLDI):
  • [29] Scalable Test Generation by Interleaving Concrete and Symbolic Execution
    Qin, Xiaoke
    Mishra, Prabhat
    2014 27TH INTERNATIONAL CONFERENCE ON VLSI DESIGN AND 2014 13TH INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS (VLSID 2014), 2014, : 104 - 109
  • [30] Learning to Prune Infeasible Paths in Generalized Symbolic Execution
    Molina, Facundo
    Ponzio, Pablo
    Aguirre, Nazareno
    Frias, Marcelo
    2022 IEEE 33RD INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2022), 2022, : 494 - 504
12345