JST: An Automatic Test Generation Tool for Industrial Java Applications with Strings. - Ghosh, Indradeep; Shafiei, Nastaran; Guodong Li; Wei-Fan Chiang (ICSE: International Conference on Software Engineering, 2013)