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)
SUMMARY 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)
Data are presented on a fabrication approach that places an isolated single quantum dot at the center of a semiconductor microcavity. The microcavity is based on an all-epitaxial mesa-confined design that is mechanically robust and provides the thermal dissipation needed for a single photon source device technology. Microphotoluminescence is used to reveal(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)