PhD student at in the FastPL group at Imperial College London with an interest in the application of formal methods to programming langauges.
Highlights
- Pro
Pinned Loading
-
mc-imperial/dredd
mc-imperial/dredd PublicA mutation testing tool designed to work with large C++ (and C) codebases.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.