Axis: Automatically fixing atomicity violations through solving control constraints

Peng Liu 0010, Charles Zhang. Axis: Automatically fixing atomicity violations through solving control constraints. In Martin Glinz, Gail C. Murphy, Mauro Pezzè, editors, 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland. pages 299-309, IEEE, 2012. [doi]

Authors

Peng Liu 0010

This author has not been identified. Look up 'Peng Liu 0010' in Google

Charles Zhang

This author has not been identified. Look up 'Charles Zhang' in Google