GPredict: Generic Predictive Concurrency Analysis

Jeff Huang, Qingzhou Luo, Grigore Rosu. GPredict: Generic Predictive Concurrency Analysis. In 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1. pages 847-857, IEEE, 2015. [doi]

Authors

Jeff Huang

This author has not been identified. Look up 'Jeff Huang' in Google

Qingzhou Luo

This author has not been identified. Look up 'Qingzhou Luo' in Google

Grigore Rosu

This author has not been identified. It may be one of the following persons: Look up 'Grigore Rosu' in Google