SPECMATE: Automated Creation of Test Cases from Acceptance Criteria | IEEE Conference Publication | IEEE Xplore