Software correctness testing

Definition
Software correctness testing is

"[t]he process of executing a program with the intent of finding errors and is aimed primarily at improving quality assurance, verifying and validating described functionality, or estimating reliability."