Testing
Testing is the process of executing programs to improve their quality
- This clearly contrasts with proofs of correctness and static analysis (like LCLint, type checking, etc.) in which the analysis is performed on the program text
There are other forms of testing, such as usability testing, that are quite different