Recent Changes - Search:

CSE dept.

This site contains wiki-pages for the department of computer science and engineering at Chalmers and GU.

edit SideBar

FM /


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.

Edit - History - Print - Recent Changes - Search
Page last modified on July 16, 2013, at 04:39 PM