Crux is a tool for improving the assurance of software using symbolic testing. - View it on GitHub