Automatic test case generation based on genetic algorithm and mutation analysis | IEEE Conference Publication | IEEE Xplore