1. Dynamic Symbolic Execution Tool for Python Programs
- Author
-
Ying Liu, Wanyu Huang, Ding Xuyang, Chen Wantao, and Xuefeng Ding
- Subjects
Computer science ,business.industry ,Programming language ,020206 networking & telecommunications ,02 engineering and technology ,Python (programming language) ,Symbolic execution ,computer.software_genre ,Data type ,Software ,Software testing ,020204 information systems ,0202 electrical engineering, electronic engineering, information engineering ,Concolic testing ,business ,computer ,computer.programming_language - Abstract
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.
- Published
- 2016