As can be seen in Figure 6.1, there is a stage called test development where it basically consists of three activities; test generation, fault simulation and design for testability implementation. Test generation is a method of generating an input sequence that can distinguish between good chip and defective chip when the input sequence (test sequence) is applied to the chip using a tester. Fau...

Transformation of different types of switched-capacitor (SC) biquad filter stages based on FleischerLaker biquad SC structure in order to support oscillation based testing (OBT) have been proposed. The derived solutions are based on the generic Fleischer-Laker biquad SC structure assuming ideal characteristics of the employed components. In this paper, we explore the operation of the proposed O...

Evaluating testing and debugging techniques is important for practitioners and researchers: developers want to know whether their tests are effective in detecting faults, and researchers want to compare different techniques. Mutation analysis fits this need and evaluates a testing or debugging technique by measuring how well it detects seeded faults (mutants). Mutation analysis has an important...

Object-oriented programs cause a shift in focus from software units to the way software classes and components are connected. Thus, we are finding that we need less emphasis on unit testing and more on integration testing. The compositional relationships of inheritance and aggregation, especially when combined with polymorphism, introduce new kinds of integration faults, which can be covered us...

We consider two topics related to testing of synchronous sequential circuits. The first topic deals with synchronizable circuits and their synchronizing sequences. Synchronizing sequences are important in facilitating the test generation process for detectable faults, and in identifying undetectable faults. They are also important in determining whether an undetectable fault can be removed from...

We examine equilibria in competitive insurance markets with adverse selection when wealth differences arise endogenously from unobservable savings or labor supply decisions. The endogeneity of wealth implies that high risk individuals may ceteris paribus exhibit the lower marginal willingness to pay for insurance than low risks, a phenomenon that we refer to as irregular-crossing preferences. I...

IS 2002 is a model curriculum for undergraduate degree programs in Information Systems typically offered in business and management schools. The curriculum is designed to produce graduates equipped to assume entry-level information systems positions and provide them with the fundamental knowledge required for continued career growth. This paper specifically addresses the challenge that instruct...

Transmission of rabies from animals to people continues despite availability of good vaccines for both human and animal use. The only effective strategy to achieve elimination of dog rabies and the related human exposure is to immunize dogs at high coverage levels. We present the analysis of two consecutive parenteral dog mass vaccination campaigns conducted in N'Djamena in 2012 and 2013 to adv...

NOTE: This position paper has been coordinated among the software specialists of certification authorities from the United States, Europe, and Canada. However, it does not constitute official policy or guidance from any of the authorities. This document is provided for educational and informational purposes only and should be discussed with the appropriate certification authority when consideri...

A hierarchical modeling framework for the dependability evaluation of Internet-based applications is presented and illustrated on a travel agency example. Modeling is carried out considering four levels, namely: user, function, service and resource levels. The first level describes how the users invoke the application and the three remaining levels detail how the user requests are handled by th...