Back to Search
Start Over
Dynamic Symbolic Execution Tool for Python Programs
- Source :
- 2016 International Conference on Intelligent Transportation, Big Data & Smart City (ICITBS).
- Publication Year :
- 2016
- Publisher :
- IEEE, 2016.
-
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.
- 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
Subjects
Details
- Database :
- OpenAIRE
- Journal :
- 2016 International Conference on Intelligent Transportation, Big Data & Smart City (ICITBS)
- Accession number :
- edsair.doi...........81751d85977c07b2453a6804817dfce2