Integrated design and test generation under internet based environment MOSCITO | IEEE Conference Publication | IEEE Xplore