Carving UI Tests to Generate API Tests and API Specification | IEEE Conference Publication | IEEE Xplore