Applications of synchronization coverage

@inproceedings{Bron2005ApplicationsOS,
  title={Applications of synchronization coverage},
  author={Arkady Bron and Eitan Farchi and Yonit Magid and Yarden Nir-Buchbinder and Shmuel Ur},
  booktitle={PPOPP},
  year={2005}
}
Coverage analysis is a useful testing technology. However, some coverage models are more acceptable to the industry than others. In the field of testing multi-threaded applications, there is a need for a coverage model that can be used to evaluate tests for concurrent completeness and to find new testing requirements. We present a new coverage model: synchronization coverage. This model is simple to understand and the action items generated by each uncovered task are clear to testers and… CONTINUE READING
Highly Cited
This paper has 86 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
58 Citations
0 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 58 extracted citations

86 Citations

051015'08'11'14'17
Citations per Year
Semantic Scholar estimates that this publication has 86 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…