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

05 Sep 2016

Serene 2016 workshop

Gothenburg, Sweden

I attended the Serene 2016 Workshop, which was co-located with EDCC 2016. As my paper Automated Test Case Generation for CTRL Using Pex: Lessons Learned was accepted for publication, I could also show my findings in a presentation.

External link