Amethod and a system is disclosed herein for model checker based efficient elimination of
false positives from static analysis warnings generated during static analysis of an …

The present invention is directed to automatically analyzing Software systems for identifying
faults or bugs and/or detec tion of malicious code. In various embodiments, the present …

(57) ABSTRACT A system and method for tracing individual transactions on method call
granularity is disclosed. The system uses instru mentation based transaction tracing …

Recording and replaying computer programs includes state Synchronization and thread
management techniques that facilitate accurately replaying the recorded execution of a …

BACKGROUND 0001. The present invention relates to the field of problem determination
and debugging and, more particularly, to sec ond failure data capture problem determination …

(57) ABSTRACT A process for recovering paraffinic solvent from tailings pro duced in the
treatment of bitumen froth comprising introduc ing the tailings into a tailings solvent recovery …

The present invention is directed to automatically analyzing Software systems for identifying
faults or bugs and/or detec tion of malicious code. In various embodiments, the present …

(57) ABSTRACT A monitoring system uses existing tracing data describing individual
distributed transactions to determine if a recorded thread communication performed by the …

(57) ABSTRACT A method and system provide processing instructions in a multi-threaded
process including the use of breakpoint instructions for generating debugging event (s). A …

(57) ABSTRACT A system and method are provided for data collection and analysis of
information related to applications. Specifically, the developer of the application may install …