McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Reng Zeng, Zhuo Sun, Su Liu, Xudong He. McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking. In Alastair F. Donaldson, David Parker, editors, Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. Volume 7385 of Lecture Notes in Computer Science, pages 191-207, Springer, 2012. [doi]

This author has not been identified. Look up 'Reng Zeng' in GoogleThis author has not been identified. Look up 'Zhuo Sun' in GoogleThis author has not been identified. Look up 'Su Liu' in GoogleThis author has not been identified. Look up 'Xudong He' in Google

runs on WebDSL