An integration test tool for REST APIs