Efficient penetration of API sequences to test stateful RESTful services | IEEE Conference Publication | IEEE Xplore