A Preprocessing Method of Test Input Generation by Symbolic Execution for Enterprise Application | IEEE Conference Publication | IEEE Xplore