tl;dr: It is an unrealized promise of computer programming
A subtler, everyday approach to software testing.
Can it appear to think for itself?
Insights into software test execution from an elaborate form of code coverage, an otherwise much reviled software metric.