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 Leesatapornwongsa

First Page		Document Content
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 Leesatapornwongsa Add to Reading List Source URL: ucare.cs.uchicago.edu Download Document from Source Website File Size: 170,37 KB Share Document on Facebook