REFERENCES
Aalst, W. M. V. D. (2009). Process-aware information sys-
tems: Lessons to be learned from process mining. vol-
ume 5460 LNCS, pages 1–26.
de Moura, J. L., Charao, A. S., Lima, J. C. D., and
de Oliveira Stein, B. (2017). Test case generation
from bpmn models for automated testing of web-
based bpm applications. In 2017 17th International
Conference on Computational Science and Its Appli-
cations (ICCSA), pages 1–7. IEEE.
Dias-Neto, A. C. and Travassos, G. H. (2010). A pic-
ture from the model-based testing area: Concepts,
techniques, and challenges. Advances in Computers,
80:45–120.
Dumas, M., van der Aalst, W. M. P., and ter Hofstede, A.
H. M., editors (2005). Process-Aware Information
Systems: Bridging People and Software Through Pro-
cess Technology. Wiley.
Enr
´
ıquez, J. G., Jim
´
enez-Ram
´
ırez, A., Dom
´
ınguez-Mayo,
F. J., and Garc
´
ıa-Garc
´
ıa, J. A. (2020). Robotic pro-
cess automation: a scientific and industrial systematic
mapping study. IEEE Access, 8:39113–39129.
Fewster, M. and Graham, D. (1999). Software Test Automa-
tion: Effective use of test execution tools. ACM Press.
Garousi, V., Mesbah, A., Betin-Can, A., and Mirshokraie,
S. (2013). A systematic mapping study of web appli-
cation testing.
Gmeiner, J., Ramler, R., and Haslinger, J. (2015). Auto-
mated testing in the continuous delivery pipeline: A
case study of an online company. In 2015 IEEE Eighth
International Conference on Software Testing, Verifi-
cation and Validation Workshops (ICSTW), pages 1–6.
IEEE.
Haugset, B. and Hanssen, G. K. (2008). Automated ac-
ceptance testing: A literature review and an industrial
case study. pages 27–38.
Humble, J. and Farley, D. (2010). Continuous delivery: re-
liable software releases through build, test, and de-
ployment automation. Pearson Education.
IEEE (2017). Ieee standard for system, software, and hard-
ware verification and validation. IEEE Std 1012-2016
(Revision of IEEE Std 1012-2012/ Incorporates IEEE
Std 1012-2016/Cor1-2017), pages 1–260.
Labiche, Y. and Shafique, M. (2010). A systematic re-
view of model based testing tool support evaluation
of category partition testing view project finite state
machine testing view project a systematic review of
model based testing tool support.
Lawrence-Pfleeger, S. and Atlee, J. M. (1998). Software
engineering: theory and practice. Pearson Education
India.
Leung, H. K. and Wong, P. W. (1997). A study of user
acceptance tests. Software quality journal, 6(2):137–
149.
L
¨
ubke, D. and van Lessen, T. (2017). Bpmn-based model-
driven testing of service-based processes. volume 287,
pages 119–133. Springer Verlag.
Makki, M., Landuyt, D. V., and Joosen, W. (2016). Au-
tomated regression testing of bpmn 2.0 processes: A
capture and replay framework for continuous delivery.
ACM SIGPLAN Notices, 52:178–189.
Melnik, G., Read, K., and Maurer, F. (2004). Suitability
of fit user acceptance tests for specifying functional
requirements: Developer perspective. In Conference
on Extreme Programming and Agile Methods, pages
60–72. Springer.
OMG (2014). Business process model and notation (bpmn),
version 2.0. Technical report, Object Management
Group.
Padmini, K. J., Perera, I., and Bandara, H. D. (2016). Ap-
plying agile practices to avoid chaos in user accep-
tance testing: A case study. In 2016 Moratuwa Engi-
neering Research Conference (MERCon), pages 96–
101. IEEE.
Ramler, R. and Klammer, C. (2019). Enhancing acceptance
test-driven development with model-based test gener-
ation. In 2019 IEEE 19th International Conference on
Software Quality, Reliability and Security Companion
(QRS-C), pages 503–504. IEEE.
Telemaco, U., Oliveira, T., Pillat, R., Alencar, P., Cowan,
D., and Melo, G. (2022). Akip process automa-
tion platform: A framework for the development of
process-aware web applications. In Proceedings of
the 18th International Conference on Web Informa-
tion Systems and Technologies - WEBIST, pages 64–
74. INSTICC, SciTePress.
Utting, M. and Legeard, B. (2006). Practical Model-Based
Testing: A Tools Approach.
Utting, M., Legeard, B., Bouquet, F., Fourneret, E.,
Peureux, F., and Vernotte, A. (2016). Chapter two -
recent advances in model-based testing. volume 101
of Advances in Computers, pages 53–120. Elsevier.
Utting, M., Pretschner, A., and Legeard, B. (2011). A tax-
onomy of model-based testing approaches. Software
Testing Verification and Reliability, 22:297–312.
Weiss, J., Schill, A., Richter, I., and Mandl, P. (2016). Lit-
erature review of empirical research studies within the
domain of acceptance testing. pages 181–188. Insti-
tute of Electrical and Electronics Engineers Inc.
Supporting the Automated Generation of Acceptance Tests of Process-Aware Information Systems
139