A Research on Automated Software Test Case Generation Based on Control Flow | IEEE Conference Publication | IEEE Xplore