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 条
  • [31] Learning to Prune Infeasible Paths in Generalized Symbolic Execution
    Molina, Facundo
    Ponzio, Pablo
    Aguirre, Nazareno
    Frias, Marcelo
    [J]. 2022 IEEE 33RD INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2022), 2022, : 494 - 504
  • [32] A Symbolic Execution Framework for Algorithm-Level Modelling
    Hanna, Ziyad
    Melham, Tom
    [J]. 2009 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP, 2009, : 94 - 99
  • [33] Higher order symbolic execution for contract verification and refutation
    Nguyen, Phuc C.
    Tobin-Hochstadt, Sam
    Van Horn, David
    [J]. JOURNAL OF FUNCTIONAL PROGRAMMING, 2017, 27
  • [34] Static Analysis and Symbolic Execution for Deadlock Detection in MPI Programs
    Douglas, Craig C.
    Krishnamoorthy, Krishanthan
    [J]. COMPUTATIONAL SCIENCE - ICCS 2018, PT II, 2018, 10861 : 783 - 796
  • [35] A synergistic approach to improving symbolic execution using test ranges
    Yang, Guowei
    Qiu, Rui
    Khurshid, Sarfraz
    Pasareanu, Corina S.
    Wen, Junye
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2019, 15 (3-4) : 325 - 342
  • [36] Distributed CFG-based Symbolic Execution for Assembly Programs
    Adachi, Takumi
    Yamane, Satoshi
    Sakurai, Kohei
    [J]. 2015 IEEE 4TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS (GCCE), 2015, : 76 - 80
  • [37] SIFT: A Tool for Property Directed Symbolic Execution of Multithreaded Software
    Yavuz, Tuba
    [J]. 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022), 2022, : 433 - 443
  • [38] State of the art: Dynamic symbolic execution for automated test generation
    Chen, Ting
    Zhang, Xiao-song
    Guo, Shi-ze
    Li, Hong-yuan
    Wu, Yue
    [J]. FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2013, 29 (07): : 1758 - 1773
  • [39] Compositional Symbolic Execution using Fine-Grained Summaries
    Lin, Yude
    Miller, Tim
    Sondergaard, Harald
    [J]. 2015 24TH AUSTRALASIAN SOFTWARE ENGINEERING CONFERENCE (ASWEC 2015), 2015, : 213 - 222
  • [40] Formula-based abstractions and symbolic execution for model checking programs
    Santone, A
    Vaglini, G
    [J]. MICROPROCESSORS AND MICROSYSTEMS, 2004, 28 (02) : 69 - 76
12345