Persuasive prediction of concurrency access anomalies

@inproceedings{Huang2011PersuasivePO,
  title={Persuasive prediction of concurrency access anomalies},
  author={Jeff Huang and Charles Zhang},
  booktitle={ISSTA},
  year={2011}
}
Predictive analysis is a powerful technique that exposes concurrency bugs in un-exercised program executions. However, current predictive analysis approaches lack the persuasiveness property as they offer little assistance in helping programmers fully understand the execution history that triggers the predicted bugs. We present a persuasive bug prediction technique as well as a prototype tool, PECAN, for detecting general access anomalies (AAs) in concurrent programs. The main characteristic of… CONTINUE READING
Highly Cited
This paper has 96 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 53 extracted citations

97 Citations

0102030'13'15'17
Citations per Year
Semantic Scholar estimates that this publication has 97 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 11 references

Weaving threads to expose atomicity violations

  • Francesco Sorrentino, Azadeh Farzan, P. Madhusudan. Penelope
  • In FSE,
  • 2010
Highly Influential
6 Excerpts

Similar Papers

Loading similar papers…