Stateless model checking concurrent programs with maximal causality reduction (2015)

by J Huang
Venue:In Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation