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 条
  • [21] Model Checking Python']Python Programs with MSVL
    Shu, Xinfeng
    Gao, Fengyun
    Gao, Weiran
    Zhang, Lili
    Wang, Xiaobing
    Zhao, Liang
    STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD (SOFL+MSVL 2019), 2020, 12028 : 205 - 224
  • [22] Detecting Code Smells in Python']Python Programs
    Chen, Zhifei
    Chen, Lin
    Ma, Wanwangying
    Xu, Baowen
    2016 INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, TESTING AND EVOLUTION (SATE 2016), 2016, : 18 - 23
  • [23] Writing Analytic Element Programs in Python']Python
    Bakker, Mark
    Kelson, Victor A.
    GROUND WATER, 2009, 47 (06) : 828 - 834
  • [24] ESTIMATING COMPLEXITY OF PROGRAMS IN PYTHON']PYTHON LANGUAGE
    Misra, Sanjay
    Cafer, Ferid
    TEHNICKI VJESNIK-TECHNICAL GAZETTE, 2011, 18 (01): : 23 - 32
  • [25] EasyTracker: A Python']Python Library for Controlling and Inspecting Program Execution
    Barollet, Theo
    Guillon, Christophe
    Selva, Manuel
    Broquedis, Francois
    Bouchez-Tichadou, Florent
    Rastello, Fabrice
    2024 IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, CGO, 2024, : 359 - 372
  • [26] ViperGPT: Visual Inference via Python']Python Execution for Reasoning
    Suris, Didac
    Menon, Sachit
    Vondrick, Carl
    2023 IEEE/CVF INTERNATIONAL CONFERENCE ON COMPUTER VISION (ICCV 2023), 2023, : 11854 - 11864
  • [27] Ansible execution control in Python']Python and Golang for cloud orchestration
    Badalyan, David
    Ivannikov, Oleg Borisenko
    SOFTWAREX, 2022, 19
  • [28] Sismic-A Python']Python library for statechart execution and testing
    Decan, Alexandre
    Mens, Tom
    SOFTWAREX, 2020, 12
  • [29] A dynamic regression analysis tool for quantitative assessment of bacterial growth written in Python']Python
    Hoeflinger, Jennifer L.
    Hoeflinger, Daniel E.
    Miller, Michael J.
    JOURNAL OF MICROBIOLOGICAL METHODS, 2017, 132 : 83 - 85
  • [30] Dynamic Pattern Matching with Python']Python
    Kohn, Tobias
    van Rossum, Guido
    Bucher, Gary Brandt, II
    Talin
    Levkivskyi, Ivan
    DLS '2020: PROCEEDINGS OF THE 16TH ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON DYNAMIC LANGUAGES, 2020, : 85 - 98
12345