{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T17:53:56Z","timestamp":1774374836534,"version":"3.50.1"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319091525","type":"print"},{"value":"9783319091532","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09153-2_19","type":"book-chapter","created":{"date-parts":[[2014,7,2]],"date-time":"2014-07-02T10:14:42Z","timestamp":1404296082000},"page":"248-262","source":"Crossref","is-referenced-by-count":19,"title":["Model-Based Test Case Generation for Web Applications"],"prefix":"10.1007","author":[{"given":"Miguel","family":"Nabuco","sequence":"first","affiliation":[]},{"given":"Ana C. R.","family":"Paiva","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1145\/302405.302640","volume-title":"Proceedings of the 21st International Conference on Software Engineering (ICSE 1999)","author":"S.R. Dalal","year":"1999","unstructured":"Dalal, S.R., Jain, A., Karunanithi, N., Leaton, J.M., Lott, C.M., Patton, G.C., Horowitz, B.M.: Model-based testing in practice. In: Proceedings of the 21st International Conference on Software Engineering (ICSE 1999), pp. 285\u2013294. ACM, New York (1999)"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/BFb0024651","volume-title":"FME \u201993: Industrial-Strength Formal Methods","author":"J. Dick","year":"1993","unstructured":"Dick, J., Faivre, A.: Automating the generation and sequencing of test cases from model-based specifications. In: Larsen, P.G., Wing, J.M. (eds.) FME 1993. LNCS, vol.\u00a0670, pp. 268\u2013284. Springer, Heidelberg (1993)"},{"key":"19_CR3","unstructured":"Katsiri, E., Mycroft, A.: Model checking for sentient computing: an axiomatic approach. In: Proceedings of the First International Workshop on Managing Context Information in Mobile and Pervasive Environments (SME 2005), CEUR-WS, Ayia Napa (May 2005)"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of haskell programs. In: Odersky, M., Wadler, P. (eds.) Proc. of the 5th ACM SIGPLAN International Conference on Functional Programming (ICFP 2000), pp. 268\u2013279. ACM (2000)","DOI":"10.1145\/357766.351266"},{"key":"19_CR5","doi-asserted-by":"publisher","first-page":"1045","DOI":"10.1002\/j.1538-7305.1955.tb03788.x","volume":"34","author":"G.H. Mealy","year":"1955","unstructured":"Mealy, G.H.: A Method for Synthesizing Sequential Circuits. Bell Systems Technical Journal\u00a034, 1045\u20131079 (1955)","journal-title":"Bell Systems Technical Journal"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Cheng, K.-T., Krishnakumar, A.S.: Automatic Functional Test Generation Using The Extended Finite State Machine Model. In: 1993 30th Conference on Design Automation, June 14-18, pp. 86\u201391 (1993)","DOI":"10.1145\/157485.164585"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1007\/3-540-45102-1_23","volume-title":"ECOOP 2000 - Object-Oriented Programming","author":"P. Fr\u00f6hlich","year":"2000","unstructured":"Fr\u00f6hlich, P., Link, J.: Automated Test Case Generation from Dynamic Models. In: Bertino, E. (ed.) ECOOP 2000. LNCS, vol.\u00a01850, p. 472. Springer, Heidelberg (2000)"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Rayadurgam, S., Heimdahl, M.P.E.: Coverage based test-case generation using model checkers. In: Proceedings. Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems-ECBS, pp. 83\u201391 (2001)","DOI":"10.1109\/ECBS.2001.922409"},{"key":"19_CR9","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test Generation with Inputs, Outputs, and Repetitive Quiescence. Software-Concepts and Tools\u00a017, 103\u2013120 (1996)","journal-title":"Software-Concepts and Tools"},{"key":"19_CR10","unstructured":"Phalippou, M.: Relations d Implantation et Hypotheses de Test sur des Automates a Entrees et Sorties. PhD thesis, L Universite de Bordeaux I, France (1994)"},{"issue":"4","key":"19_CR11","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10009-004-0153-x","volume":"7","author":"C. Jard","year":"2005","unstructured":"Jard, C., Jeron, T.: TGV: Theory, Principles and Algorithms: A Tool for the Automatic Synthesis of Conformance Test Cases for Non-Deterministic Reactive Systems. Software Tools for Technology Transfer\u00a07(4), 297\u2013315 (2005)","journal-title":"Software Tools for Technology Transfer"},{"key":"19_CR12","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1145\/1007512.1007529","volume-title":"Int. Symposium on Software Testing and Analysis - ISSTA 2004","author":"A. Hartman","year":"2004","unstructured":"Hartman, A., Nagin, K.: The AGEDIS Tools for Model Based Testing. In: Int. Symposium on Software Testing and Analysis - ISSTA 2004, pp. 129\u2013132. ACM Press, New York (2004)"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"He, J., Turner, K.: Protocol-Inspired Hardware Testing. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) Int. Workshop on Testing of Communicating Systems, vol.\u00a012, pp. 131\u2013147. Kluwer Academic Publishers (1999)","DOI":"10.1007\/978-0-387-35567-2_9"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/11576280_31","volume-title":"Formal Methods and Software Engineering","author":"A.C.R. Paiva","year":"2005","unstructured":"Paiva, A.C.R., Faria, J.C.P., Tillmann, N., Vidal, R.A.M.: A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol.\u00a03785, pp. 450\u2013464. Springer, Heidelberg (2005)"},{"key":"19_CR15","unstructured":"Moreira, R.M.L.M., Paiva, A.C.R.: Visual Abstract Notation for Gui Modelling and Testing - VAN4GUIM. In: ICSOFT 2008, pp. 104\u2013111 (March 4, 2008)"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC \/ SIGSOFT FSE, pp. 109\u2013120 (2001)","DOI":"10.1145\/503271.503226"},{"key":"19_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1007\/11526841_38","volume-title":"FM 2005: Formal Methods","author":"C. Campbell","year":"2005","unstructured":"Campbell, C., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veanes, M.: Testing concurrent object-oriented systems with spec explorer. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 542\u2013547. Springer, Heidelberg (2005)"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Feijs, L.M.G., Goga, N., Mauw, S., Tretmans, J.: Test selection, trace distance and heuristics. In: Proceedings of the IFIP 14th International Conference on Testing Communicating Systems (TestCom 2002), pp. 267\u2013282. Kluwer (2002)","DOI":"10.1007\/978-0-387-35497-2_20"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Nachmanson, L., Veanes, M., Schulte, W., Tillmann, N., Grieskamp, W.: Optimal strategies for testing nondeterministic systems. In: Avrunin, G.S., Rothermel, G. (eds.) Proc. of the 2004 ACM SIGSOFT International Sym- posium on Software Testing and Analysis (ISSTA 2004), pp. 55\u201364 (2004)","DOI":"10.1145\/1007512.1007520"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Moreira, R., Paiva, A., Memon, A.: A Pattern-Based Approach for GUI Modeling and Testing. In: Proceedings of the 24th annual International Symposium on Software Reliability Engineering, ISSRE 2013 (2013)","DOI":"10.1109\/ISSRE.2013.6698881"},{"key":"19_CR21","unstructured":"Welie, M., Gerrit, C., Eliens, A.: Patterns as tools for user interface design. In: Workshop on Tools for Working With Guidelines, Biarritz, France (2000)"},{"key":"19_CR22","unstructured":"Garrett, J.J.: Ajax: a new approach to Web applications (2006), http:\/\/www.adaptivepath.com\/publications\/essays\/archives\/000385.php"},{"issue":"2","key":"19_CR23","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/52.991331","volume":"19","author":"L.L. Constantine","year":"2002","unstructured":"Constantine, L.L., Lockwood, L.A.D.: Usage-centered engineering for Web applications. IEEE Software Journal\u00a019(2), 42\u201350 (2002)","journal-title":"IEEE Software Journal"},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"Monteiro, T., Paiva, A.: Pattern Based GUI Testing Modeling Environment. In: 4th International Workshop on Testing Techniques & Experimentation Benchmarks for Event-Driven Software, TESTBEDS 2013 (2013)","DOI":"10.1109\/ICSTW.2013.24"},{"key":"19_CR25","unstructured":"Nabuco, M., Paiva, A., Camacho, R., Faria, J., Inferring, U.I.: Patterns with Inductive Logic Programming. In: 8th Iberian Conference on Information Systems and Technologies (2013)"},{"key":"19_CR26","doi-asserted-by":"crossref","unstructured":"Cunha, M., Paiva, A., Ferreira, H., Abreu, R.,, P.: A Pattern-Based GUI Testing Tool. In: 2nd International Conference on Software Technology and Engineering (ICSTE 2010), pp. 202\u2013206 (2010)","DOI":"10.1109\/ICSTE.2010.5608882"},{"key":"19_CR27","unstructured":"Sikuli API ( last acessed February 2014), https:\/\/code.google.com\/p\/sikuli-api\/"},{"key":"19_CR28","unstructured":"Andrade, F.R., Faria, J.P., Paiva, A.: Test generation from bounded algebraic specifications using alloy. In: ICSOFT 2011, 6th International Conference on Software and Data Technology (January 2011)"},{"key":"19_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-642-30729-4_21","volume-title":"Integrated Formal Methods","author":"F. Rebello de Andrade","year":"2012","unstructured":"Rebello de Andrade, F., Faria, J.P., Lopes, A., Paiva, A.C.R.: Specification-driven unit test generation for java generic classes. In: Derrick, J., Gnesi, S., Latella, D., Treharne, H. (eds.) IFM 2012. LNCS, vol.\u00a07321, pp. 296\u2013311. Springer, Heidelberg (2012)"},{"key":"19_CR30","doi-asserted-by":"crossref","unstructured":"Paiva, A.C.R., Faria, J.P., Vidal, R.M.: Specification-based Testing of User Interfaces. In: Proceedings of the 10th DSV-IS Workshop - Design, Specification and Verification of Interactive Systems, Funchal, Madeira, de Junho 4-6 (2003)","DOI":"10.1007\/978-3-540-39929-2_10"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09153-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T16:53:42Z","timestamp":1746291222000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09153-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319091525","9783319091532"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09153-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}