Software testing by groups

Software testing method and system

Software testing techniques for stack-based environments

Software tool configured to generate test cases...

Software-based watchdog method and apparatus

Software/hardware partitioning program and method

Source level debugger for debugging source programs

Source server

Space-efficient object models for object-oriented...

Specification generation from implementations

SQL debugging using XML dataflows

Stack unique signatures for program procedures and methods

Stack-based callbacks for diagnostic data generation

Stack-based callbacks for diagnostic data generation

Stack-based problem identification for a software component

State synchronization in recording and replaying computer...

Static detection of a datarace condition for multithreaded...

Static performance analysis of software

Statically detecting externally referenced interfaces of a...

Statistical memory leak detection