A Journey from Manual Testing to Automated Test Generation in an Industry Project | IEEE Conference Publication | IEEE Xplore