Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic | IEEE Conference Publication | IEEE Xplore