Does not instrument code
Error seeding: changes source code; then recompiles
If tests break, that line is tested; otherwise it's not.
Upside: really finds out if code is tested, not merely exercised
Downside: Takes a long time to run.