New Statistics for Demand-Based Software Testing