Scalable automated test generation using coverage guidance and random search | IEEE Conference Publication | IEEE Xplore