A Descriptive Programming Based Approach for Test Automation | IEEE Conference Publication | IEEE Xplore