Jeff Huang, Jinguo Zhou, Charles Zhang. Scaling predictive analysis of concurrent programs by removing trace redundancy. ACM Transactions on Software Engineering Methodology, 22(1):8, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.