Conference paper Open Access

Towards Language Independent Dynamic Symbolic Execution

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


JSON-LD (schema.org) Export

{
  "description": "<p>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.</p>", 
  "license": "https://creativecommons.org/licenses/by-sa/4.0/legalcode", 
  "creator": [
    {
      "affiliation": "CERN", 
      "@type": "Person", 
      "name": "Klikovits, Stefan"
    }, 
    {
      "affiliation": "CERN", 
      "@type": "Person", 
      "name": "Gonzalez-Berges, Manuel"
    }, 
    {
      "affiliation": "University of Geneva", 
      "@type": "Person", 
      "name": "Buchs, Didier"
    }
  ], 
  "headline": "Towards Language Independent Dynamic Symbolic Execution", 
  "image": "https://zenodo.org/static/img/logos/zenodo-gradient-round.svg", 
  "datePublished": "2017-01-30", 
  "url": "https://zenodo.org/record/291899", 
  "keywords": [
    "symbolic execution", 
    "test case generation", 
    "concolic testing"
  ], 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.291899", 
  "@id": "https://doi.org/10.5281/zenodo.291899", 
  "@type": "ScholarlyArticle", 
  "name": "Towards Language Independent Dynamic Symbolic Execution"
}
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