{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T10:40:42Z","timestamp":1774435242329,"version":"3.50.1"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2021,11,27]],"date-time":"2021-11-27T00:00:00Z","timestamp":1637971200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,11,27]],"date-time":"2021-11-27T00:00:00Z","timestamp":1637971200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cientco e Tecnol\u00f3gico","doi-asserted-by":"publisher","award":["420363\/2018-1"],"award-info":[{"award-number":["420363\/2018-1"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2022,9]]},"DOI":"10.1007\/s11219-021-09575-w","type":"journal-article","created":{"date-parts":[[2021,11,27]],"date-time":"2021-11-27T10:02:28Z","timestamp":1638007348000},"page":"621-649","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Model-based testing leveraged for automated web tests"],"prefix":"10.1007","volume":"30","author":[{"given":"Guilherme Ricken","family":"Mattiello","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8737-1749","authenticated-orcid":false,"given":"Andr\u00e9 Takeshi","family":"Endo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,11,27]]},"reference":[{"key":"9575_CR1","doi-asserted-by":"crossref","unstructured":"Adamsen, C.\u00a0Q., Mezzetti, G., & M\u00f8ller, A. (2015).\u00a0Systematic execution of Android test suites in adverse conditions. In The International Symposium on Software Testing and Analysis, ACM, pp.\u00a083\u201393.","DOI":"10.1145\/2771783.2771786"},{"issue":"8","key":"9575_CR2","doi-asserted-by":"publisher","first-page":"1978","DOI":"10.1016\/j.jss.2013.02.061","volume":"86","author":"S Anand","year":"2013","unstructured":"Anand, S., Burke, E. K., Chen, T. Y., Clark, J. A., Cohen, M. B., Grieskamp, W., et al. (2013). An orchestrated survey of methodologies for automated software test case generation. Journal of Systems and Software, 86(8), 1978\u20132001.","journal-title":"Journal of Systems and Software"},{"issue":"3","key":"9575_CR3","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1145\/322326.322334","volume":"29","author":"D Angluin","year":"1982","unstructured":"Angluin, D. (1982). Inference of reversible languages. Journal of ACM, 29(3), 741\u2013765.","journal-title":"Journal of ACM"},{"key":"9575_CR4","volume-title":"Test-driven Development - by example","author":"KL Beck","year":"2003","unstructured":"Beck, K. L. (2003). Test-driven Development - by example. The Addison-Wesley signature series: Addison-Wesley."},{"key":"9575_CR5","volume-title":"Software Testing Techniques","author":"B Beizer","year":"1990","unstructured":"Beizer, B. (1990). Software Testing Techniques (2nd ed.). New York, NY, USA: Van Nostrand Reinhold Co.","edition":"2"},{"key":"9575_CR6","doi-asserted-by":"crossref","unstructured":"Belli, F., Beyazit, M., & Memon, A.\u00a0M. (2012).\u00a0Testing is an event-centric activity. In SERE (Companion), IEEE, pp.\u00a0198\u2013206.","DOI":"10.1109\/SERE-C.2012.24"},{"issue":"1","key":"9575_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1002\/stvr.335","volume":"16","author":"F Belli","year":"2006","unstructured":"Belli, F., Budnik, C. J., & White, L. (2006). Event-based modelling, analysis and testing of user interactions: approach and case study. Software Testing, Verification and Reliability, 16(1), 3\u201332.","journal-title":"Software Testing, Verification and Reliability"},{"issue":"4","key":"9575_CR8","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1049\/iet-sen.2015.0154","volume":"11","author":"M Bernardino","year":"2017","unstructured":"Bernardino, M., Rodrigues, E. M., Zorzo, A. F., & Marchezan, L. (2017). Systematic mapping study on MBT: tools and models. IET Software, 11(4), 141\u2013155.","journal-title":"IET Software"},{"key":"9575_CR9","unstructured":"Chelimsky, D., Astels, D., Helmkamp, B., North, D., Dennis, Z., and Hellesoy, A. The RSpec Book: Behaviour Driven Development with RSpec, Cucumber, and Friends, 1st\u00a0ed. Pragmatic Bookshelf, 2010."},{"key":"9575_CR10","doi-asserted-by":"crossref","unstructured":"Danglot, B., Vera-Perez, O., Yu, Z., Zaidman, A., Monperrus, M., & Baudry, B. (2019).\u00a0A snowballing literature study on test amplification. Journal of Systems and Software, 157.","DOI":"10.1016\/j.jss.2019.110398"},{"key":"9575_CR11","doi-asserted-by":"crossref","unstructured":"Danglot, B., Vera-P\u00e9rez, O. L., Baudry, B., & Monperrus, M. (2019).\u00a0Automatic test improvement with DSpot: A study with ten mature open-source projects. Empirical Software Engineering, 1\u201333.","DOI":"10.1007\/s10664-019-09692-y"},{"key":"9575_CR12","doi-asserted-by":"crossref","unstructured":"Dixit, R., Lutteroth, C., & Weber, G. (2015).\u00a0FormTester: Effective integration of model-based and manually specified test cases. In 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering, pp.\u00a0745\u2013748.","DOI":"10.1109\/ICSE.2015.237"},{"key":"9575_CR13","doi-asserted-by":"crossref","unstructured":"Entin, V., Winder, M., Zhang, B., & Christmann, S. (2011).\u00a0Combining model-based and capture-replay testing techniques of graphical user interfaces: An industrial approach. In IEEE 4th International Conference on Software Testing, Verification and Validation Workshops, pp.\u00a0572\u2013577.","DOI":"10.1109\/ICSTW.2011.13"},{"key":"9575_CR14","doi-asserted-by":"crossref","unstructured":"Entin, V., Winder, M., Zhang, B., & Christmann, S. (2012).\u00a0Introducing model-based testing in an industrial Scrum project. In 2012 7th International Workshop on Automation of Software Test (AST), pp.\u00a043\u201349.","DOI":"10.1109\/IWAST.2012.6228989"},{"key":"9575_CR15","doi-asserted-by":"crossref","unstructured":"Entin, V., Winder, M., Zhang, B., & Claus, A. (2015).\u00a0A process to increase the model quality in the context of model-based testing. In 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp.\u00a01\u20137.","DOI":"10.1109\/ICSTW.2015.7107471"},{"key":"9575_CR16","unstructured":"Fowler, M. (2013). PageObject.\u00a0https:\/\/martinfowler.com\/bliki\/PageObject.html"},{"key":"9575_CR17","doi-asserted-by":"crossref","unstructured":"Fraser, G., & Zeller, A. (2011). Generating parameterized unit tests. In Proceedings of the 2011 International Symposium on Software Testing and Analysis (ISSTA) (New York, NY, USA), pp.\u00a0364\u2013374.","DOI":"10.1145\/2001420.2001464"},{"issue":"1","key":"9575_CR18","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1002\/stvr.427","volume":"21","author":"W Grieskamp","year":"2011","unstructured":"Grieskamp, W., Kicillof, N., Stobie, K., & Braberman, V. (2011). Model-based quality assurance of protocol documentation: Tools and methodology. Software Testing, Verification and Reliability, 21(1), 55\u201371.","journal-title":"Software Testing, Verification and Reliability"},{"key":"9575_CR19","doi-asserted-by":"crossref","unstructured":"Kazman, R., Woods, S.\u00a0S., & Carri\u00e8re, S.\u00a0J. (1998).\u00a0Requirements for integrating software architecture and reengineering models: CORUM II. In 5th Working Conference on Reverse Engineering, WCRE \u201998, Honolulu, Hawai, USA, October 12-14, 1998, pp.\u00a0154\u2013163.","DOI":"10.1109\/WCRE.1998.723185"},{"key":"9575_CR20","doi-asserted-by":"crossref","unstructured":"Kramer, A., & Legeard, B. (2016).\u00a0Model-Based Testing Essentials - Guide to the ISTQB Certified Model-Based Tester: Foundation Level, 1st\u00a0ed. Wiley Publishing.","DOI":"10.1002\/9781119130161"},{"key":"9575_CR21","unstructured":"Kramer, A., Legeard, B., & Binder, R.\u00a0V. (2017).\u00a02016\/2017 model-based testing user survey.\u00a0http:\/\/www.cftl.fr\/wp-content\/uploads\/2017\/02\/2016-MBT-User-Survey-Results.pdf"},{"key":"9575_CR22","doi-asserted-by":"crossref","unstructured":"Leotta, M., Biagiola, M., Ricca, F., Ceccato, M., & Tonella, P. (2020).\u00a0A family of experiments to assess the impact of page object pattern in web test suite development. In 13th IEEE International Conference on Software Testing, Validation and Verification, ICST 2020, Porto, Portugal, October 24-28, 2020, IEEE, pp.\u00a0263\u2013273.","DOI":"10.1109\/ICST46399.2020.00035"},{"key":"9575_CR23","doi-asserted-by":"crossref","unstructured":"Leotta, M., Clerissi, D., Ricca, F., and Spadaro, C. (2013). Improving test suites maintainability with the page object pattern: An industrial case study. In Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013, IEEE Computer Society, pp.\u00a0108\u2013113.","DOI":"10.1109\/ICSTW.2013.19"},{"key":"9575_CR24","doi-asserted-by":"crossref","unstructured":"Li, N., Escalona, A., & Kamal, T. (2016).\u00a0Skyfire: Model-based testing with Cucumber. In 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST), pp.\u00a0393\u2013400.","DOI":"10.1109\/ICST.2016.41"},{"issue":"1","key":"9575_CR25","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1049\/iet-sen.2010.0152","volume":"6","author":"A Marchetto","year":"2012","unstructured":"Marchetto, A., Tonella, P., & Ricca, F. (2012). ReAjax: a reverse engineering tool for ajax web applications. IET Software, 6(1), 33\u201349.","journal-title":"IET Software"},{"issue":"3","key":"9575_CR26","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1002\/stvr.364","volume":"17","author":"AM Memon","year":"2007","unstructured":"Memon, A. M. (2007). An event-flow model of GUI-based applications for testing. Software Testing, Verification and Reliability, 17(3), 137\u2013157.","journal-title":"Software Testing, Verification and Reliability"},{"key":"9575_CR27","doi-asserted-by":"crossref","unstructured":"Milani\u00a0Fard, A., Mirzaaghaei, M., & Mesbah, A. (2014).\u00a0Leveraging existing tests in automated test generation for web applications. In Proceedings of the 29th ACM\/IEEE international conference on Automated software engineering, ACM, pp.\u00a067\u201378.","DOI":"10.1145\/2642937.2642991"},{"key":"9575_CR28","doi-asserted-by":"crossref","unstructured":"Myers, G.\u00a0J., Sandler, C., & Badgett, T. (2011).\u00a0The Art of Software Testing, 3rd\u00a0ed. Wiley Publishing.","DOI":"10.1002\/9781119202486"},{"key":"9575_CR29","doi-asserted-by":"crossref","unstructured":"Offutt, J., & Abdurazik, A. (1999). Generating tests from UML specifications. In: \u00abUML\u00bb\u201999: The Unified Modeling Language - Beyond the Standard, Springer-Verlag, Berlin, Heidelberg, pp 416\u2013429.","DOI":"10.1007\/3-540-46852-8_30"},{"key":"9575_CR30","doi-asserted-by":"crossref","unstructured":"Orso, A., & Rothermel, G. (2014).\u00a0Software testing: A research travelogue (2000\u20132014). In Proceedings of the on Future of Software Engineering (FOSE), ACM, pp.\u00a0117\u2013132.","DOI":"10.1145\/2593882.2593885"},{"issue":"9","key":"9575_CR31","first-page":"1155","volume":"46","author":"R Pawlak","year":"2016","unstructured":"Pawlak, R., Monperrus, M., Petitprez, N., Noguera, C., & Seinturier, L. (2016). SPOON: A library for implementing analyses and transformations of java source code. Software: Practice and Experience, 46(9), 1155\u20131179.","journal-title":"Software: Practice and Experience"},{"key":"9575_CR32","volume-title":"The github open source development process","author":"K Peterson","year":"2013","unstructured":"Peterson, K. (2013). The github open source development process. Mayo Clinic: Technical report."},{"key":"9575_CR33","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/bs.adcom.2018.10.005","volume":"113","author":"F Ricca","year":"2019","unstructured":"Ricca, F., Leotta, M., & Stocco, A. (2019). Chapter three - three open problems in the context of E2E web testing and a vision: NEONATE. Advances in Computers, 113, 89\u2013133.","journal-title":"Advances in Computers"},{"key":"9575_CR34","doi-asserted-by":"crossref","unstructured":"Schulze, C., Lindvall, M., Bjorgvinsson, S., & Wiegand, R. (2015).\u00a0Model generation to support model-based testing applied on the NASA DAT web-application - An experience report. In 26th International Symposium on Software Reliability Engineering (ISSRE), pp.\u00a077\u201387.","DOI":"10.1109\/ISSRE.2015.7381801"},{"key":"9575_CR35","unstructured":"Spring.io. (2014). Spring PetClinic sample application.\u00a0https:\/\/github.com\/spring-projects\/spring-petclinic"},{"key":"9575_CR36","unstructured":"Stewart, S. (2015). Page objects.\u00a0https:\/\/github.com\/SeleniumHQ\/selenium\/wiki\/PageObjects"},{"issue":"3","key":"9575_CR37","doi-asserted-by":"publisher","first-page":"1007","DOI":"10.1007\/s11219-016-9331-9","volume":"25","author":"A Stocco","year":"2017","unstructured":"Stocco, A., Leotta, M., Ricca, F., & Tonella, P. (2017). APOGEN: Automatic page object generator for web testing. Software Quality Journal, 25(3), 1007\u20131039.","journal-title":"Software Quality Journal"},{"key":"9575_CR38","doi-asserted-by":"crossref","unstructured":"Torens, C., Ebrecht, L., & Lemmer, K. (2011).\u00a0Starting model-based testing based on existing test cases used for model creation. In 2011 IEEE 11th International Conference on Computer and Information Technology, pp.\u00a0320\u2013327.","DOI":"10.1109\/CIT.2011.99"},{"key":"9575_CR39","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M Utting","year":"2007","unstructured":"Utting, M., & Legeard, B. (2007). Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc."},{"issue":"3","key":"9575_CR40","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/s10851-006-8530-6","volume":"13","author":"T Xie","year":"2006","unstructured":"Xie, T., & Notkin, D. (2006). Tool-assisted unit-test generation and selection based on operational abstractions. Automated Software Engineering, 13(3), 345\u2013371.","journal-title":"Automated Software Engineering"},{"key":"9575_CR41","unstructured":"Zander, J., Schieferdecker, I., & Mosterman, P. J. (2011). Model-Based Testing for Embedded Systems, 1st ed. CRC Press Inc."},{"key":"9575_CR42","doi-asserted-by":"crossref","unstructured":"Zhang, P., & Elbaum, S. (2014). Amplifying tests to validate exception handling code: An extended study in the mobile application domain.\u00a0ACM Transactions on Software Engineering and Methodology,\u00a023(4), 32:1\u201332:28.","DOI":"10.1145\/2652483"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-021-09575-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11219-021-09575-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-021-09575-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,20]],"date-time":"2022-08-20T08:18:41Z","timestamp":1660983521000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11219-021-09575-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,27]]},"references-count":42,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,9]]}},"alternative-id":["9575"],"URL":"https:\/\/doi.org\/10.1007\/s11219-021-09575-w","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,11,27]]},"assertion":[{"value":"10 October 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 November 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}