An automated tool for efficiently generating a massive number of random test cases | IEEE Conference Publication | IEEE Xplore