Conference paper Open Access

Towards Language Independent Dynamic Symbolic Execution

Klikovits, Stefan; Gonzalez-Berges, Manuel; Buchs, Didier

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 (145.0 kB)
Name Size
klikovits.pdf
md5:30ddb76b87e6aa2150be4930dfabb669
145.0 kB Download
11
12
views
downloads
All versions This version
Views 1110
Downloads 1211
Data volume 1.7 MB1.6 MB
Unique views 109
Unique downloads 1211

Share

Cite as