Jata: A Language for Distributed Component Testing.

Ji Wu, Liu Yang, Xu Luo

Browse the full APSEC paper archive.