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
1
2
views
downloads
All versions This version
Views 11
Downloads 22
Data volume 289.9 kB289.9 kB
Unique views 11
Unique downloads 22

Share

Cite as