Testing concurrent programs on relaxed memory models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jacob Burnim, Koushik Sen, Christos Stergiou. Testing concurrent programs on relaxed memory models. In Matthew B. Dwyer, Frank Tip, editors, Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011. pages 122-132, ACM, 2011. [doi]

This author has not been identified. Look up 'Jacob Burnim' in GoogleThis author has not been identified. Look up 'Koushik Sen' in GoogleThis author has not been identified. Look up 'Christos Stergiou' in Google

runs on WebDSL