Brad Long Roger Duke Doug Goldson Paul A. Strooper Luke Wildman Mutation-Based Exploration of a Method for Verifying Concurrent Java Components. 2004 conf/ipps/2004 IPDPS http://csdl.computer.org/comp/proceedings/ipdps/2004/2132/17/2132170265babs.htm db/conf/ipps/ipdps2004-w16.html#LongDGSW04