COMPUTER PROGRAM GENERATING REPORTS

Brand	Owner (click to sort)	Address	Description
PERIO-PARTNER II	Weisglass, Stephen S.	110-20 71st Road Forest Hills NY 11375	computer program for generating reports and correspondence to patients and referring physicians in a periodontal practice;INTRODUCING THE PERIO-PARTNER 2;II;
REPORTMATE	DATA RECOGNITION CORPORATION	13490 BASS LAKE ROAD MAPLE GROVE MN 55311	computer program for generating reports of educational test scores and reference manuals therefor sold as a unit;REPORT MATE;
	Where the owner name is not linked, that owner no longer owns the brand

Technical Examples

Disclosed are a method and system for analyzing a computer program. The method comprises the steps of analyzing the program to generate an initial error report and a list of suspected error conditions, and generating a set of assertions and inserting the assertions into the program to determine if the suspected error conditions are valid. Preferably, a strong static analysis method is used to identify an initial set of error reports. When this analysis fails to determine if the condition is true or false, the condition along with the potential program error is captured to form a suspected error. Suspected errors are directed to an assertion generator to produce a monitor-that is, source code modification that is integrated with the original program. This and other inserted monitors check the conditions for the suspected error during the program execution.