Using mutants to improve Slither

Researchers used mutation testing to seed bugs in smart contracts and check whether Slither detects them, deriving new rules for Boolean constant misuse, type-based tautologies, and precision loss.