Sudipto Ghosh Nishant Bawa Sameer Goel Raghu Reddy Validating Run-time Interactions in Distributed Java Applications. 7-16 2002 conf/iceccs/2002 ICECCS http://csdl.computer.org/comp/proceedings/iceccs/2002/1757/00/17570007abs.htm db/conf/iceccs/iceccs2002.html#GhoshBGR02