Systems, methods, and computer-readable media for iden tifying a champion test case that
provides an increased likelihood of exposing a fault and expanding a set of test cases to …

A method and apparatus to enable SystemVerilog based tools to compile, debug, and
execute a standardized testing language based test bench. The testing harness comprises …

Systems, methods, and computer-readable media are described for utilizing breakpoint
value-based fingerprints of failing regression test cases to determine specific com ponents of …

(57) ABSTRACT A code coverage tool applies predefined rules applicable to user input to
determine a test scenario from predefined test cases to best achieve a code coverage goal …

Techniques for runtime metrics based test ordering in a computer system are described
herein. An aspect includes determining a first runtime metric associated with a first module …

A method for identifying optimal tests includes defining functional coverage by a test suite
based on a functional coverage model of a System Under Test (SUT). The test suite includes …

(57) ABSTRACT A TTCN-based test system for testing test-cases is provided. The test
system includes a test executable which includes a compiled TTCN code. A simulated …

A publisher can extend existing electronic publications (eg, formatted in EPUB format) by
adding additional data such as interactive content, supplementary learning resources, etc …

A software static testing apparatus generates code by integrating a plurality of source files
corresponding to automotive software, creates logical expressions for the code and a test …