A Comparative Study of Manual and Automated Testing for Industrial Control Software | IEEE Conference Publication | IEEE Xplore