A. It makes explicit use of statistical quality control
B. It verifies design specification using a mathematically based proof of correctness
C. It relies heavily on statistical use testing to uncover high-impact errors
D. All of the mentioned