Towards Language Independent Dynamic Symbolic Execution

Conference object, Other literature type OPEN
Klikovits, Stefan; Gonzalez-Berges, Manuel; Buchs, Didier;
  • Publisher: Budapest University of Technology and Economics, Department of Measurement and Information Systems
  • Identifiers: doi: 10.5281/zenodo.291899
  • Subject: concolic testing | test case generation | symbolic execution

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... View more
Share - Bookmark