FM /

ChristopherSvanefalk

Christopher is a B.Sc. student at the Department of Software Engineering and Management. He has been with the SEFM group since 2011, and specializes in hybrid verification methods.

Christopher is the lead developer of KeYTestGen2, an automatic test case generation system for Java.