Automated test generation for REST APIs: no time to rest yet | Synapse