Automatic validation of test results using componentized...

Automatic verification of scheduling domain consistency

Automatically generated symbol-based debug script executable...

Automatically generating software tests based on metadata

Automatically generating test cases for binary code

Automation of keyboard accessibility testing

Autonomic test case feedback using hardware assistance for...

Avoiding signals when tracing user processes

Benchmark synthesis using workload statistics

Benchmark synthesis using workload statistics

Bidirectional socket stimulus interface for a logic simulator

Binary verification service

Bounded program failure analysis and correction

Breakpoint groups based on control flow

Breakpoint logging and constraint mechanisms for parallel...

Breakpoint management and reconciliation for embedded...

Breakpoint method for parallel hardware threads in...

Breakpoint safety net

Buckets of commands in a multiprocessor-based verification...

Build-time enforcement of architectural partitioning in...