A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives.

John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng

Browse the full SAS paper archive.