Static analysis on top of mutation testing - prevents escaped mutants from being invalid according to static analysis - View it on GitHub