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
10
10
views
downloads
All versions This version
Views 109
Downloads 109
Data volume 1.4 MB1.3 MB
Unique views 98
Unique downloads 109

Share

Cite as