JST: An automatic test generation tool for industrial Java applications with strings | IEEE Conference Publication | IEEE Xplore