Axis: Automatically fixing atomicity violations through solving control constraints

  title={Axis: Automatically fixing atomicity violations through solving control constraints},
  author={Peng Liu and Charles Zhang},
  journal={2012 34th International Conference on Software Engineering (ICSE)},
Atomicity, a general correctness criteria in concurrency programs, is often violated in real-world applications. What is worse is that the violations are difficult to be fixed by the developers, which makes the automatic bug fixing techniques attractive solutions. The state of the art aims at automating the manual fixing process and can not provide any theoretical reasoning and guarantees. We provide an automatic approach that applies the well-studied control theory to guarantee the maximal… CONTINUE READING
Highly Influential
This paper has highly influenced 12 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 103 citations. REVIEW CITATIONS

7 Figures & Tables



Citations per Year

103 Citations

Semantic Scholar estimates that this publication has 103 citations based on the available data.

See our FAQ for additional information.