Did you know that you can navigate the posts by swiping left and right?

30 Jan 2017

MiniSy 2017

Budapest, Hungary

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.

External link