Ranked break points and method for debugging a computer program

Rating apparatus and method for evaluating bugs

Reachability analysis for program verification

Real time monitoring system for tracking and documenting...

Real-time data exchange on demand

Real-time data exchange on demand

Real-time program audit software

Real-time software diagnostic tracing

Recording classification of instructions executed by a computer

Recovering from compilation errors in a dynamic compilation...

Recovery from corruption using event offset format in data...

Recovery from nested exceptions in an instrumentation routine

Recursive use of model based test generation for middleware...

Reifying generic types while maintaining migration...

Reliability contracts

Remote incremental program verification using API definitions

Remote machine vision application program development method

Remote monitoring of computer programs

Remote tracing of data processing nodes in an asynchronous...

Remote user interface for external connections