Axis: Automatically fixing atomicity violations through solving control constraints

@article{Liu2012AxisAF,
  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)},
  year={2012},
  pages={299-309}
}
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

Topics

Statistics

01020302012201320142015201620172018
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.