Published January 30, 2017
| Version v1
Conference paper
Open
Towards Language Independent Dynamic Symbolic Execution
Description
Symbolic execution is well-known for its capability to produce high-coverage test suites for software source code. So far, most tools are created to support a specific language. This paper elaborates on performing language independent symbolic execution. We describe the use of one approach to perform dynamic symbolic execution using translation of a proprietary language and show the results of the tool execution on a real-life codebase.
Files
klikovits.pdf
Files
(145.0 kB)
Name | Size | Download all |
---|---|---|
md5:30ddb76b87e6aa2150be4930dfabb669
|
145.0 kB | Preview Download |
Additional details
Related works
- Is part of
- 978-963-313-243-2 (ISBN)