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.
No references recorded for this publication.
No citations of this publication recorded.