full_release

This version is a full release which contains both case studies and mutation testing tools.

case_study_release

Source code for case studies. Mutation testing tool will be released soon.