runtime error detection

software verification method that analyzes a software application as it executes and reports defects that are detected during that execution