Dynamic Symbolic Execution Tool for Python']Python Programs

被引：1
|
作者：
Ding, Xuefeng [1 ]
Huang, Wanyu [2 ]
Liu, Ying [3 ]
Chen Wantao [3 ]
Ding Xuyang [3 ]
机构：
[1] Sichuan Univ, Chengdu 610041, Sichuan, Peoples R China
[2] Univ Elect Sci & Technol China, Ctr Cyber Secur, Chengdu 611731, Sichuan, Peoples R China
[3] Power China Chengdu Engn Corp Ltd, Chengdu 610072, Sichuan, Peoples R China
来源：
2016 INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION, BIG DATA & SMART CITY (ICITBS) | 2017年
关键词：
Dynamic symbolic execution; Automated testing; !text type='Python']Python[!/text] program; Dynamic symbolic execution tool;
D O I：
10.1109/ICITBS.2016.88
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Dynamic symbolic execution is an important automated testing technique. Firstly, we introduce the traditional symbolic execution and dynamic symbolic execution technology, and then review the research status of Python application testing with dynamic symbolic execution technology. Then we compare and analyze the dynamic symbolic execution tools with the existing Python programs and Architectures, performance, and supported data types. Finally, the development direction of this field prospects. It is helpful for researchers to understand the progress of dynamic symbolic execution technology in current Python program and lay a foundation for future research work.
引用
收藏
页码：212 / 217
页数：6
相关论文
共 50 条
  • [41] Musicaiz: A python']python library for symbolic music generation, analysis and visualization
    Hernandez-Olivan, Carlos
    Beltran, Jose R.
    SOFTWAREX, 2023, 22
  • [42] PySR: high-performance symbolic regression in Python']Python and Julia
    Tonda, Alberto
    GENETIC PROGRAMMING AND EVOLVABLE MACHINES, 2025, 26 (01)
  • [43] Using SymPy (Symbolic Python']Python) for Understanding Structural Equation Modeling
    Steele, Joel S.
    Grimm, Kevin J.
    STRUCTURAL EQUATION MODELING-A MULTIDISCIPLINARY JOURNAL, 2024, 31 (06) : 1104 - 1115
  • [44] PySyComp: A Symbolic Python']Python Library for the Undergraduate Quantum Chemistry Course
    Stippell, Elizabeth
    Akimov, Alexey V.
    Prezhdo, Oleg V.
    JOURNAL OF CHEMICAL EDUCATION, 2023, 100 (10) : 4077 - 4084
  • [45] MatchingTools: A Python']Python library for symbolic effective field theory calculations
    Criado, Juan C.
    COMPUTER PHYSICS COMMUNICATIONS, 2018, 227 : 42 - 50
  • [46] Range Space and Similarity Transformation Using Symbolic Mathematics in Python']Python
    Wisassakwichai, Chainarong
    Phaochoo, Prasert
    IEEE ACCESS, 2024, 12 : 182788 - 182798
  • [47] How Dynamic Features Affect API Usages? An Empirical Study of API Misuses in Python']Python Programs
    He, Xincheng
    Liu, Xiaojin
    Xu, Lei
    Xu, Baowen
    2023 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING, SANER, 2023, : 522 - 533
  • [48] PILeT: an Interactive Learning Tool To Teach Python']Python
    Alshaigy, Bedour
    Kamal, Samia
    Mitchell, Faye
    Martin, Clare
    Aldea, Arantza
    PROCEEDINGS OF THE 10TH WORKSHOP IN PRIMARY AND SECONDARY COMPUTING EDUCATION, WIPSCE 2015, 2015, : 76 - 79
  • [49] Effectiveness of Flowcharting as a Scaffolding Tool to Learn Python']Python
    Cabo, Candido
    2018 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE), 2018,
  • [50] A Python']Python Tool for Implementations on Bipolar Neutrosophic Matrices
    Topal, Selcuk
    Broumi, Said
    Bakali, Assia
    Talea, Mohamed
    Smarandache, Florentin
    NEUTROSOPHIC SETS AND SYSTEMS, 2019, 28 : 138 - 161
12345