computer programs are the tangible output of a thought process - the conversion of a thought process into a product.
Edward H. Bersoff, "Elements of Software Configuration Management"
software testing alone does not produce or ensure good software -- it only gives an indication of error frequency that can be expected and [...] verification only shows correspondence to functional requirements.
Joseph P. Cavano and James A. McCall, "A Framework for the Measurement of Software Quality"