Conference paper Open Access

Towards Language Independent Dynamic Symbolic Execution

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


Citation Style Language JSON Export

{
  "publisher": "Budapest University of Technology and Economics, Department of Measurement and Information Systems", 
  "DOI": "10.5281/zenodo.291899", 
  "ISBN": "978-963-313-243-2", 
  "container_title": "Proceedings of the 24th PhD Mini-Symposium", 
  "title": "Towards Language Independent Dynamic Symbolic Execution", 
  "issued": {
    "date-parts": [
      [
        2017, 
        1, 
        30
      ]
    ]
  }, 
  "abstract": "<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>", 
  "author": [
    {
      "family": "Klikovits, Stefan"
    }, 
    {
      "family": "Gonzalez-Berges, Manuel"
    }, 
    {
      "family": "Buchs, Didier"
    }
  ], 
  "page": "50-53", 
  "publisher_place": "Budapest, Hungary", 
  "type": "paper-conference", 
  "id": "291899"
}
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