DARUM documentationΒΆ Table of Contents: A quick walkthrough of using DARUM to find and fix brittleness Check the whole project Focus on a single suspicious member Digging deeper into a brittle member: isolate assertions How to deal with isolated assertions? Final notes Verifying many mutations Log filename structure Not only brittleness Some further details on how Darum works Terminology How does Darum work? An evolving probability distribution? Why would a cheap verification turn expensive? So how does Darum help? When is a potential speedup a sign of trouble?