
Proteum (PROgram Testing Using Mutants), a testing tool that supports Mutation Analysis criterion. Proteum can be configured for testing programs in many procedural programming languages.
Links:
[1] http://napsol.icmc.usp.br/pt-br/node/122
[2] http://ccsl.icmc.usp.br/pt-br/projects/proteum