A method for verifying concurrent Java components based on an analysis of concurrency failures

Brad Long, Paul A. Strooper, Luke Wildman. A method for verifying concurrent Java components based on an analysis of concurrency failures. Concurrency - Practice and Experience, 19(3):281-294, 2007. [doi]

Authors

Brad Long

This author has not been identified. Look up 'Brad Long' in Google

Paul A. Strooper

This author has not been identified. Look up 'Paul A. Strooper' in Google

Luke Wildman

This author has not been identified. Look up 'Luke Wildman' in Google