I was invited to submit a paper to the 24th MiniSy in Budapest, Hungary. As my paper Towards Language Independent (Dynamic) Symbolic Execution was accepted for publication, I could also show my findings in a presentation. BME was kind enough to pay for the accommodation of my stay.

Here is the abstract of my paper:

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 and three ways to achieve it. 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.