A brief search resulted in:
- PlexTest:
http://www.itregister.com.au/products/plextest_detail.htm - Insure++:
http://www.parasoft.com/jsp/products/insure.jsp;jsessionid=baacpvbaDywLID?itemId=63 - MILU (may be only for C):
http://www.dcs.kcl.ac.uk/pg/jiayue/milu/
With that said, you need to realize that mutation testing isn’t particularly useful (at least from some stuff I’ve previously read). It’s an interesting tool when faced with hard (metaphorically speaking) asserts and for making sure that data requirements are heeded to (when dealing with if and only if situations).
In my opinion, there are much more established ways of analyzing the robustness of code.