This paper presents techniques used in combinational test generation for multiple stuck-at faults using the parallel vector pair analysis. The techniques accelerate test generation and reduce the number of test vectors generated, while higher fault coverage is derived Experimental result for benchmark circuits shows the effectiveness of using the techniques.

This work derives the analytic expression of the feasibility condition for the uplink of a WCDMA mobile communications system with repeaters deployment in a multiservice environment with a general heterogeneous layout. In particular, a compact closed expression for the admission region is presented, suitable for a system where the users belong to an arbitrary number of different service classes...

Rapidly rising health insurance costs continue to strain the budgets of U.S. families and employers. This issue brief analyzes changes in private employer-based health premiums and deductibles for all states from 2003 to 2010, and finds total premiums for family coverage increased 50 percent across states and employee annual share of premiums increased by 63 percent over these seven years. At t...

How to efficiently reduce the fuzzing data scale while assuring high fuzzing veracity and vulnerability coverage is a pivotal issue in program fuzz test. This paper proposes a new heuristic method for fuzzing data generation named with H-Fuzzing. H-Fuzzing achieves a high program execution path coverage by retrieving the static information and dynamic property from the program. Our experiments ...

While many errors in machine translated texts are due to word sense ambiguity, syntactical transfer still poses problems, too. For a particular type of syntactic structure, namely, subordinate clauses, this paper distinguishes five kinds of translation difficulties: crosslanguage differences, syntactic ambiguity, functional ambiguity, stylistic preferences, and grammatical coverage.

A model has recently been developed that relates test coverage and defect coverage. It has been shown that this model can be used to estimate the residual defect density. Defect finding capability of sets of tests with different coverage values has recently been studied by Frankl and Iakounenko. They have defined measure test effectiveness, and have evaluated it for programs containing a single...

Attention mechanism advanced state-of-the-art neural machine translation (NMT) by jointly learning to align and translate. However, attentional NMT ignores past alignment information, which leads to over-translation and under-translation problems. In response to this problem, we maintain a coverage vector to keep track of the attention history. The coverage vector is fed to the attention model ...

Agents in an open system interact with each other based on (typically, published) protocols. An agent may, however, deviate from the protocol because of its internal policies. Such deviations pose certain challenges: (1) the agent might no longer be conformant with the protocol—how do we determine if the agent is conformant? (2) the agent may no longer be able to interoperate with other agents—...

Using data from a two-year randomized pricing experiment in China, we study the impact and design of subsidy policies for weather insurance. Results show that subsidies are effective in boosting demand in the short-run but not in the longer term. Exploring the channels, we show that while subsidies increase the direct and social effects of payout experiences by enlarging coverage, they also dam...

The test can be developed at the functional level of the circuit. Such an approach allows developing the test at the early stages of the design process in parallel with other activities of this process. The problem is to choose the right fault model because the implementation of the circuit is not available yet. The paper introduces three new fault models for synchronous sequential circuits: fu...