Cooperative types for controlling thread interference in Java (2012)

by Jaeheon Yi, Tim Disney, Stephen N Freund, Cormac Flanagan
Venue:In Proceedings of the 2012 International Symposium on Software Testing and Analysis, ISSTA