Bounded partial-order reduction

Katherine E. Coons, Madan Musuvathi, Kathryn S. McKinley. Bounded partial-order reduction. In Antony L. Hosking, Patrick Th. Eugster, Cristina V. Lopes, editors, Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013. pages 833-848, ACM, 2013. [doi]

Authors

Katherine E. Coons

This author has not been identified. Look up 'Katherine E. Coons' in Google

Madan Musuvathi

This author has not been identified. Look up 'Madan Musuvathi' in Google

Kathryn S. McKinley

This author has not been identified. Look up 'Kathryn S. McKinley' in Google