|Affiliation:||University of Queensland|
|1||Brad Long and Roger Duke and Doug Goldson and Paul Strooper and Luke Wildman|
Mutation-based Exploration of a Method for Verifying Concurrent Java Components
18th International Parallel and Distributed Processing Symposium (IPDPS'04)Santa Fe, New Mexico, 26-30 April 2004.
|BibTeX | Abstract | URL|