Test Generation from a Compiled Assembly