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

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]

No reviews for this publication, yet.