Distributed software testing with specification | IEEE Conference Publication | IEEE Xplore