The application of an automated software tool for modeling test processes | IEEE Conference Publication | IEEE Xplore