Learn More
The effectiveness of software testing is often assessed by measuring coverage of some aspect of the software, such as its code. There is much research aimed at increasing code coverage of sequential software. However, there has been little research on increasing coverage for concurrent software. This paper presents a new technique that aims to achieve high(More)
When testing multithreaded programs, the number of possible thread interactions makes exploring all interactions infeasible in practice. In response, researchers have developed concurrent coverage metrics for multithreaded programs. These metrics allow them to estimate how well they have exercised concurrent program behavior, just as branch and statement(More)
A flexible efficient and accurate inverse Laplace transform algorithm is developed. Based on the quotient-difference methods the algorithm computes the coefficients of the continued fractions needed for the inversion process. By combining diagonalwise operations and the recursion relations in the quotient-difference schemes, the algorithm controls the(More)
Testing multithreaded programs is inherently challenging, as programs can exhibit numerous thread interactions. To help engineers test these programs cost-effectively, researchers have proposed concurrency coverage metrics. These metrics are intended to be used as predictors for testing effectiveness and provide targets for test generation. The(More)
Ahstwcl-\\'hcn derision-directed channel estimation is used for Q.Ul-OFD\I systems, the optimal shape of the twodimensional filter depends on the amplitudes of the modulated symbols as wll as the channel characteristics such as delay spread. Doppler frcquency. and signal-to-noise ratio. \\'hilt most conventional channel estimation methods did not consider(More)