MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications
Συγγραφείς: Levine, Reese, Guo, Tianhao, Cho, Mingun, Baker, Alan, Levien, Raph, Neto, David, Quinn, Andrew, Sorensen, Tyler
Πηγή: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2. :473-488
Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3575693.3575750
Βάση Δεδομένων: ACM Full-Text Collection