One open source program used in a randomized method for this task is named for a breed of rabbit with droopy ears. The number of iterations required in the “basis path” approach to this task is the cyclomatic number of its input’s control flow graph. One approach to this task may involve “mutating” binary strings and is called fuzzing. The labels “red,” “green,” (10[1])and “refactor” (-5[1])are used in a method in which this task “drives” development. “Mocks” (10[1])are used when performing this task on a single class, called its “unit” type. (10[1])Continuous (10[1])integration (10[1])systems build and then do this task (-5[1])on every commit to a repository. (-5[1])Edsger Dijkstra (“ETS-ker DIKE-stra”) criticized reliance on this task, which can only show the presence of bugs but not their absence. For 10 points, name this task of checking the function of software. ■END■ (10[2]0[2])