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