garghub / Cerebro

Cerebro: Static Subsuming Mutant Selection, IEEE Transactions on Software Engineering (TSE)