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

Remotely accessible integrated debug environment

Remotely driven system for multi-product and multi-platform...

Replay debugging

Representation of core files in a generic format

Restoring debugging breakpoints subsequent to program code...

Restructuring of executable computer code and large data sets

Reversing execution of instructions in a debugger

Reviewing the security of trusted software components

Risk metric for testing software

Robust software library wrapper method and apparatus