Symbolic execution engine for .NET
Features
Unit test generation
V# generates unit tests for .NET applications trying to achieve maximal statement and branch coverage
Deep code analysis
V# tests various program paths and reports code defects
Zero false positive
V# reports only reproducible program behaviors
Innovative approach
V# builds on academical approaches beyond state of the art
Fully automated
V# requires no manual guidance
.NET 6 support
Up-to-date with .NET development
Fully open-source
Help us to improve V#