Code coverage is usually used as a measurement of testing quality and as adequacy criterion. Unfortunately, code coverage is very sensitive to modi cations of the code structure, and, therefore, the same test suite can achieve di erent degrees of coverage on the same program written in two syntactically di erent ways. For this reason, code coverage can provide the tester with misleading informa...

Suppose sensors are deployed randomly in a long thin strip, and suppose each sensor can detect objects within a fixed distance. We say that the sensors achieve barrier coverage if there is no path across the strip that a small object can follow that avoids detection by the sensors. We give fairly precise results on the probability that barrier coverage is achieved as a function of the range of ...

This paper mainly provides one new nature inspired Energy Conversation Optimization (ECO) method tosearch for the optimal sensor position of sensor network in the typical tunnels, fully covering the tunnel anddynamically locating the high-speed train in the tunnel. Firstly, one objective of this study is to briefly intro-duce the framework of transmitting the sensor’s data in th...

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...

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...

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...

Consider the observation of n iid realizations of an experiment with d ≥ 2 possible outcomes, which corresponds to a single observation of a multinomial distribution Md(n,p) where p is an unknown discrete distribution on {1, . . . , d}. In many applications, the construction of a confidence region for p when n is small is crucial. This concrete challenging problem has a long history. It is well...

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...

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 ...