Ji Wu Liu Yang Xu Luo Jata: A Language for Distributed Component Testing. 145-152 2008 APSEC http://dx.doi.org/10.1109/APSEC.2008.27 conf/apsec/2008 db/conf/apsec/apsec2008.html#WuYL08