Automatic test case generation for unit software testing using genetic algorithm and mutation analysis | IEEE Conference Publication | IEEE Xplore