V# (version 0.0.1)

V# is the symbolic execution engine for .NET binaries, performing completely automated and unassisted test generation for .NET assemblies.