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.