![](bg8.png)
send a client back to its previous state. However, this
approach would violate the stateless constraint. Al-
ways sending a client back to the start state would,
on the other hand, reduce the usability of the ap-
plication, forcing the user to repeat many unneces-
sary steps again, especially when the intended task is
nested deep within the application workflow. Further
research would be needed to clarify this matter.
REFERENCES
Amundsen, M. (2017). RESTful Web Clients - Enabling
Reuse Through Hypermedia. O’Reilly Media, Se-
bastopol.
Bloch, J. (2014). How to design a good API and why it mat-
ters. http://static.googleusercontent.com/media/ re-
search.google.com/en//pubs/archive/32713.pdf. Last
accessed on May 23, 2018.
Chakrabarti, S. and Kumar, P. (2009). Test-the-REST:
An approach to Testing RESTful web-services. In
Future Computing, Service Computation, Cognitive,
Adaptive, Content, Patterns, 2009. COMPUTATION-
WORLD ’09. Computation World:, pages 302–308.
Dijkstra, E. W. (1972). The humble programmer. Commun.
ACM, 15(10):859–866.
Fertig, T. and Braun, P. (2015). Model-driven Testing of
RESTful APIs. In Proceedings of the 24th Interna-
tional Conference on World Wide Web Companion,
WWW ’15 Companion, pages 1497–1502, Repub-
lic and Canton of Geneva, Switzerland. International
World Wide Web Conferences Steering Committee.
Fielding, R. (2000). REST: Architectural Styles and the De-
sign of Network-based Software Architectures. Doc-
toral dissertation, University of California, Irvine.
Fielding, R. (2008). REST APIs must be hyper-text
driven. http://roy.gbiv.com/untangled/2008/rest-apis-
must-be-hypertext-driven. Last accessed on May 23,
2018.
Fielding, R. T. (2013). WTF is a "REST endpoint". https://
twitter.com/fielding/status/324448353180061696.
Last accessed on May 22, 2018.
Frankel, N. (2015). Integration Testing from the Trenches.
Leanpub.
González, C. A. and Cabot, J. (2014). Test data gener-
ation for model transformations combining partition
and constraint analysis. In Di Ruscio, D. and Varró,
D., editors, Theory and Practice of Model Transfor-
mations, pages 25–41, Cham. Springer International
Publishing.
Hernández, A. G. and García, M. N. M. (2010). A For-
mal Definition of RESTful Semantic Web Services.
In Proceedings of the First International Workshop on
RESTful Design, WS-REST ’10, pages 39–45, New
York, NY, USA. ACM.
Hopcroft, J. and Tarjan, R. (1973). Algorithm 447: Efficient
algorithms for graph manipulation. Commun. ACM,
16(6):372–378.
Liggesmeyer, P. (2009). Software-Qualität - Testen,
Analysieren und Verifizieren von Software. Springer
Science & Business Media, Berlin Heidelberg, 2. aufl.
edition.
Project, T. S. (2018). Selenium. https://www.selenium
hq.org/. Last accessed on May 24, 2018.
Richardson, L. (2009). The Maturity Heuristic.
https:// www.crummy.com/writing/speaking/2008-
QCon/act3.html. Last accessed on May 16, 2018.
Richardson, L., Amundsen, M., and Ruby, S. (2013). REST-
ful Web APIs. O’Reilly Media.
Schreibmann, V. and Braun, P. (2015). Model-Driven
Development of RESTful APIs. In Proceedings of
the 11th International Conference of Web Information
Systems and Technologies. INSTICC, SciTePress.
Square, I. (2017a). JavaPoet. https://github.com/square/
javapoet. Last accessed on May 23, 2018.
Square, I. (2017b). OkHttp. http://square.github.io/okhttp/.
Last accessed on May 23, 2018.
Taivalsaari, A. and Mikkonen, T. (2017). The Web as a
Software Platform: Ten Years Later. In Proceedings of
the 13th International Conference of Web Information
Systems and Technologies. INSTICC, SciTePress.
Vu, H., Fertig, T., and Braun, P. (2017). Towards model-
driven hypermedia testing for RESTful systems. In
WEBIST 2017 - Proceedings of the 13th International
Conference on Web Information Systems and Tech-
nologies.
Vu, H., Fertig, T., and Braun, P. (2018). Verification of
hypermedia characteristic of restful finite-state ma-
chines. In Companion Proceedings of the The Web
Conference 2018, WWW ’18, pages 1881–1886, Re-
public and Canton of Geneva, Switzerland. Interna-
tional World Wide Web Conferences Steering Com-
mittee.
Webber, J., Parastatidis, S., and Robinson, I. (2010). REST
in Practice - Hypermedia and Systems Architecture.
"O’Reilly Media, Inc.", Sebastopol.
Wright, D. (2005). Finite State Machines. http://www4.
ncsu.edu/drwrigh3/docs/courses/csc216/fsm-
notes.pdf. Last accessed on May 16, 2018.
Zuzak, I., Budiselic, I., and Delac, G. (2011). Web Engi-
neering: 11th International Conference, ICWE 2011,
Paphos, Cyprus, June 20-24, 2011, chapter Formal
Modeling of RESTful Systems Using Finite-State Ma-
chines, pages 346–360. Springer Berlin Heidelberg.
Automation of Integration Testing of RESTful Hypermedia Systems: A Model-driven Approach
411