Mutation-Based Exploration of a Method for Verifying Concurrent Java Components - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Brad Long, Roger Duke, Doug Goldson, Paul A. Strooper, Luke Wildman. Mutation-Based Exploration of a Method for Verifying Concurrent Java Components. In 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA. IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Brad Long' in GoogleThis author has not been identified. Look up 'Roger Duke' in GoogleThis author has not been identified. Look up 'Doug Goldson' in GoogleThis author has not been identified. Look up 'Paul A. Strooper' in GoogleThis author has not been identified. Look up 'Luke Wildman' in Google

runs on WebDSL