A method for test case generation by improved genetic algorithm based on static structure of procedure | IEEE Conference Publication | IEEE Xplore