Methods and apparatus for automatically generating translation programs for translating
computing services templates to service blueprints are disclosed. An example method …

Abstract A Design-Under-Test (DUT) may be designed to perform speculative execution of a
branch path prior to determination whether the branch path is to be performed. Verification of …

A verification method of a system on chip includes receiving a test generator and an
exception handler; generating, by the test generator, a test program including an exception …

Embodiments presented herein provide techniques for generating test cases for
transformation modules that are part of a larger data-integration workflow for an extract …

BACKGROUND Computerized devices control almost every aspect of our life—from writing
documents to controlling traffic lights. However, computerized devices are bug-prone, and …

Methods and apparatus for automatically generating translation programs for translating
computing services templates to service blueprints are disclosed. An example method …

(57) ABSTRACT A method for testing an integrated circuit, comprising: accessing a
database associated with a test template, wherein said test template is configured to test a …

A method and an apparatus for generating software test reports are provided. The method
includes following steps: providing a testing platform that supports retrieving one or more …

A verification method of a system on chip includes receiving a test generator and an
exception handler; generating, by the test generator, a test program including an exception …