Definitions
Input Value Space: the set of all possible input values to the program
Output Value Space: the set of all possible output values of the program
Input Distribution: the probability density function (pdf) over each element in the input value space, D
Successful testing: testing which has not yet resulted in any software failure since last code modification