Internet-based collaborative test generation with MOSCITO | IEEE Conference Publication | IEEE Xplore