A Method for Improving the Precision and Coverage of Atomicity Violation Predictions.

Reng Zeng, Zhuo Sun, Su Liu, Xudong He

Browse the full TACAS paper archive.