![](https://www.pdfsearch.io/img/2e13abed185ca1ce337cf1138614e470.jpg) Date: 2015-06-05 18:52:07
| | Appears in the Proceedings of the International Symposium on Software Testing and Analysis (ISSTA ’15) SAMC: A Fast Model Checker for Finding Heisenbugs in Distributed Systems (Demo) Tanakorn LeesatapornwongsaAdd to Reading ListSource URL: ucare.cs.uchicago.eduDownload Document from Source Website File Size: 170,37 KBShare Document on Facebook
|