Conference
MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications
| Title: | MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications |
|---|---|
| Authors: | Levine, Reese, Guo, Tianhao, Cho, Mingun, Baker, Alan, Levien, Raph, Neto, David, Quinn, Andrew, Sorensen, Tyler |
| Source: | Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2. :473-488 |
| Availability: | http://dl.acm.org/doi/10.1145/3575693.3575750 |
| Database: | ACM Full-Text Collection |
| DOI: | 10.1145/3575693.3575750 |
|---|