Methods for enhancing program analysis

Methods for performining cross module context-sensitive...

Methods, systems, and computer products for evaluating...

Methods, systems, and computer program products for deferred...

Minimal instrumentation for lossless call profiling

Minimizing profiling-related perturbation using periodic...

Mining dependencies for testing and risk management

Mock translation system, method, and program using...

Model based test generation for validation of parallel and...

Model checking of non-terminating software programs

Modeling standards validation tool for use in enterprise...

Modularizing a computer program for testing and debugging

Monitor conversion in a multi-threaded computer system

Monitoring and testing middleware based application software

Monitoring execution of an hierarchical visual program such...

Monitoring memory accesses for computer programs

Monitoring memory accesses for multiple computer processes

Monitoring messages during execution of a message flow

Monitoring of software operation for improving computer...

Monitoring system for monitoring the performance of an...