Automatic Test Case Generation for Serverless Applications | IEEE Conference Publication | IEEE Xplore