selected publications conference paper Extended Finite State Machine based Test Derivation Strategies for Telecommunication Protocols. Proceedings of the Spring/Summer young researchers' colloquium on software engineering. 2014