A study of interleaving coverage criteria

Abstract

Concurrency bugs are becoming increasingly important due to the prevalence of concurrent programs. A fundamental problem of concurrent program bug detection and testing is that the interleaving space is too large to be thoroughly explored. Practical yet effective interleaving coverage criteria are desired to systematically explore the interleaving space and effectively expose concurrency bugs.

BibTeX

@inproceedings{Lu-al:FSE07,
  author    = {Shan Lu and
               Weihang Jiang and
               Yuanyuan Zhou},
  title     = {A study of interleaving coverage criteria},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {533--536},
  publisher = {{ACM}},
  year      = {2007},
}

A study of interleaving coverage criteria

Abstract

Related papers