Conference paper Open Access

Towards Language Independent Dynamic Symbolic Execution

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


Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:creator>Klikovits, Stefan</dc:creator>
  <dc:creator>Gonzalez-Berges, Manuel</dc:creator>
  <dc:creator>Buchs, Didier</dc:creator>
  <dc:date>2017-01-30</dc:date>
  <dc: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.</dc:description>
  <dc:identifier>https://zenodo.org/record/291899</dc:identifier>
  <dc:identifier>10.5281/zenodo.291899</dc:identifier>
  <dc:identifier>oai:zenodo.org:291899</dc:identifier>
  <dc:publisher>Budapest University of Technology and Economics, Department of Measurement and Information Systems</dc:publisher>
  <dc:relation>isbn:978-963-313-243-2</dc:relation>
  <dc:relation>url:https://zenodo.org/communities/minisy17</dc:relation>
  <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
  <dc:rights>https://creativecommons.org/licenses/by-sa/4.0/legalcode</dc:rights>
  <dc:subject>symbolic execution</dc:subject>
  <dc:subject>test case generation</dc:subject>
  <dc:subject>concolic testing</dc:subject>
  <dc:title>Towards Language Independent Dynamic Symbolic Execution</dc:title>
  <dc:type>info:eu-repo/semantics/conferencePaper</dc:type>
  <dc:type>publication-conferencepaper</dc:type>
</oai_dc:dc>
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