software quality engineering
discipline that ensures software quality
software verification
overview of techniques for verifying software
runtime error detection
software verification method that analyzes a software application as it executes and reports defects that are detected during that execution