Advanced methods in automated software test | IEEE Conference Publication | IEEE Xplore