{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:32:56Z","timestamp":1725593576354},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642222023"},{"type":"electronic","value":"9783642222030"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22203-0_3","type":"book-chapter","created":{"date-parts":[[2011,6,27]],"date-time":"2011-06-27T20:26:28Z","timestamp":1309206388000},"page":"25-40","source":"Crossref","is-referenced-by-count":2,"title":["Model-Based Web Components Testing: A Prioritization Approach"],"prefix":"10.1007","author":[{"given":"Ahmed","family":"Al-Herz","sequence":"first","affiliation":[]},{"given":"Moataz","family":"Ahmed","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Miao, H., Zeng, H.: Model Checking-based Verification of Web Application. In: Proceedings of 12th IEEE International Conference on Engineering Complex Computer Systems pp. 47\u201355 (2007)","DOI":"10.1109\/ICECCS.2007.30"},{"issue":"3","key":"3_CR2","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/s10270-004-0077-7","volume":"4","author":"A. Andrews","year":"2005","unstructured":"Andrews, A., Offutt, J., Alexander, R.: Testing Web Applications by Modeling with FSMs. Software Systems and Modeling\u00a04(3), 326\u2013345 (2005)","journal-title":"Software Systems and Modeling"},{"key":"3_CR3","first-page":"111","volume-title":"Proceedings of the 1st Asia-Pacific Conference on Web Applications","author":"D.C. Kung","year":"2000","unstructured":"Kung, D.C., Liu, C.H., Hsia, P.: An Object-Oriented Web Test Model for Testing Web Applications. In: Proceedings of the 1st Asia-Pacific Conference on Web Applications, pp. 111\u2013120. IEEE Press, New York (2000)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Haydar, M., Petrenko, A., Sahraoui, H.: Formal Verification of Web Applications Modeled by Communicating Automata. In: Proceedings of the 24th IFIP International Conference on Formal Techniques for Networked and Distributed Systems, Madrid, Spain, pp. 115\u2013132 (2004)","DOI":"10.1007\/978-3-540-30232-2_8"},{"key":"3_CR5","first-page":"164","volume-title":"Proceedings of the IEEE International Conference on Automated Software Engineering","author":"D.R. Licata","year":"2004","unstructured":"Licata, D.R., Krishnamurthi, S.: Verifying interactive web programs. In: Proceedings of the IEEE International Conference on Automated Software Engineering, pp. 164\u2013173. IEEE Computer Society, Los Alamitos (2004)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Ricca, F., Tonella, P.: Web site analysis: Structure and evolution. In: Proceedings of the International Conference on Software Maintenance, pp. 76\u201386 (2000)","DOI":"10.1109\/ICSM.2000.883017"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/3-540-45319-9_26","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F. Ricca","year":"2001","unstructured":"Ricca, F., Tonella, P.: Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, pp. 373\u2013388. Springer, Heidelberg (2001)"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/3-540-36575-3_17","volume-title":"Programming Languages and Systems","author":"P.T. Graunke","year":"2003","unstructured":"Graunke, P.T., Findler, R.B., Adsul, B., Felleisen, M.: Modeling Web Interactions. In: Degano, P. (ed.) ESOP 2003. LNCS, vol.\u00a02618, pp. 238\u2013252. Springer, Heidelberg (2003)"},{"key":"3_CR9","unstructured":"Benedikt, M., Freire, J., Godefroid, P.: VeriWeb: Automatically Testing Dynamic Web Sites. In: Proceedings of 11th International World Wide Web Conference (2002)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Sampath, S., Bryce, R., Viswanath, G., Kandimalla, V., Koru, A.G.: Prioritizing User-Session-Based Test Cases for Web Application Testing. In: Proceedings of IEEE Int. Conf. Software Testing, Verification, and Validation, pp. 141\u2013150 (2008)","DOI":"10.1109\/ICST.2008.42"},{"key":"3_CR11","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/TSE.2010.12","volume":"37","author":"R.C. Bryce","year":"2011","unstructured":"Bryce, R.C., Sampath, S., Memon, A.M.: Developing a Single Model and Test Prioritization Strategies for Event-Driven Software. IEEE Transactions On Software Engineering 37, 48\u201364 (2011)","journal-title":"IEEE Transactions On Software Engineering"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Korel, B., Tahat, L.H., Harman, M.: Test Prioritization Using System Models. In: Proceedings of the 21st IEEE International Conference on Software Maintenance (2005)","DOI":"10.1109\/ICSM.2005.87"},{"issue":"10","key":"3_CR13","doi-asserted-by":"publisher","first-page":"929","DOI":"10.1109\/32.962562","volume":"27","author":"G. Rothermel","year":"2001","unstructured":"Rothermel, G., Untch, R.H., Chu, C., Harrold, M.J.: Prioritizing Test Cases for Regression Testing. IEEE Trans. Software Eng.\u00a027(10), 929\u2013948 (2001)","journal-title":"IEEE Trans. Software Eng."},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Cheng, K., Krishnakumar, A.: Automatic Functional Test Generation Using The Extended Finite State Machine Model. In: Proceedings of ACM\/IEEE Design Automation Conf. pp. 86\u201391 (1993)","DOI":"10.1145\/157485.164585"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"1835","DOI":"10.1016\/S1389-1286(99)00063-8","volume":"31","author":"R. Dssouli","year":"1999","unstructured":"Dssouli, R., Saleh, K., Aboulhamid, E., En-Nouaary, A., Bourhfir, C.: Test Development For Communication Protocols: Towards Automation. Computer Networks\u00a031, 1835\u20131872 (1999)","journal-title":"Computer Networks"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Dick, J., Faivre, A.: Automating the Generation and Sequencing of Test Case from Model-Based Specification. In: Proceedings of International Symposium on Formal Methods, pp. 268\u2013284 (1992)","DOI":"10.1007\/BFb0024651"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Vaysburg, B., Tahat, L., Korel, B.: Dependence Analysis in Reduction of Requirement Based Test Suites. In: Proceedings of ACM International Symposium on Software Testing and Analysis, pp. 107\u2013111 (2002)","DOI":"10.1145\/566172.566188"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Korel, B., Tahat, L., Vaysburg, B.: Model Based Regression Test Reduction Using Dependence Analysis. In: Proceeding of IEEE International Conf. on Software Maintenance, pp. 214\u2013223 (2002)","DOI":"10.1109\/ICSM.2002.1167768"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1111\/j.1467-9450.1974.tb00598.x","volume":"15","author":"J. Nieminen","year":"1974","unstructured":"Nieminen, J.: On centrality in a graph. Scandinavian Journal of Psychology\u00a015, 322\u2013336 (1974)","journal-title":"Scandinavian Journal of Psychology"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"35","DOI":"10.2307\/3033543","volume":"40","author":"C. Freeman","year":"1977","unstructured":"Freeman, C.: A set of measures of centrality based on betweenness. Sociometry\u00a040, 35\u201341 (1977)","journal-title":"Sociometry"},{"key":"3_CR21","unstructured":"Garey, M.R., Johnson, D.S.: Computers and intractability. A guide to the theory of NP-completeness. W. H. Freeman, San Francisco (1979)"},{"issue":"10","key":"3_CR22","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/317665.317677","volume":"42","author":"J. Conallen","year":"1999","unstructured":"Conallen, J.: Modeling web application architectures with UML. Communications of the ACM\u00a042(10), 63\u201371 (1999)","journal-title":"Communications of the ACM"},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-44585-4_31","volume-title":"Computer Aided Verification","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L.: Model checking the world wide web. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, pp. 337\u2013349. Springer, Heidelberg (2001)"},{"issue":"1","key":"3_CR24","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.entcs.2004.07.014","volume":"124","author":"M. Alpuente","year":"2005","unstructured":"Alpuente, M., Ballis, D., Falaschi, M.: A rewriting-based framework for web sites verification. Electr. Notes Theor. Comput. Sci.\u00a0124(1), 41\u201361 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"3_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-30482-1_12","volume-title":"Formal Methods and Software Engineering","author":"J. Chen","year":"2004","unstructured":"Chen, J., Zhao, X.: Formal models for web navigations with session control and browser cache. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol.\u00a03308, pp. 46\u201360. Springer, Heidelberg (2004)"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/11681885_5","volume-title":"Trends in Enterprise Application Architecture","author":"B. Bordbar","year":"2006","unstructured":"Bordbar, B., Anastasakis, K.: MDA and Analysis of Web Applications. In: Draheim, D., Weber, G. (eds.) TEAA 2005. LNCS, vol.\u00a03888, pp. 44\u201355. Springer, Heidelberg (2006)"},{"key":"3_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-540-39929-2_5","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"M. Winckler","year":"2003","unstructured":"Winckler, M., Palanque, P.: StateWebCharts: A formal description technique dedicated to navigation modelling of web applications. In: Jorge, J.A., Jardim Nunes, N., Falc\u00e3o e Cunha, J. (eds.) DSV-IS 2003. LNCS, vol.\u00a02844, pp. 61\u201376. Springer, Heidelberg (2003)"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Han, M., Hofmeister, C.: Modeling and verification of adaptive navigation in web applications. In: ICWE. pp. 329\u2013336 (2006)","DOI":"10.1145\/1145581.1145645"},{"key":"3_CR29","first-page":"63","volume-title":"Proceedings of the European Conference on Software Maintenance and Reengineering","author":"E. Sciascio Di","year":"2003","unstructured":"Di Sciascio, E., Donini, F., Mongiello, M., Piscitelli, G.: Web applications design and maintenance using symbolic model checking. In: Proceedings of the European Conference on Software Maintenance and Reengineering, pp. 63\u201372. IEEE Computer Society, Los Alamitos, CA, USA (2003)"},{"issue":"1","key":"3_CR30","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.entcs.2006.01.023","volume":"157","author":"D. Castelluccia","year":"2006","unstructured":"Castelluccia, D., Mongiello, M., Ruta, M., Totaro, R.: Waver: A model checking-based tool to verify web application design. Electr. Notes Theor. Comput. Sci.\u00a0157(1), 61\u201376 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Bellettini, C., Marchetto, A., Trentini, A.: Webuml: reverse engineering of web applications. In: SAC, pp. 1662\u20131669 (2004)","DOI":"10.1145\/967900.968231"},{"key":"3_CR32","unstructured":"Wu, Y., Outt, J.: Modeling and testing web-based applications. Technical report, George Mason University (2002)"},{"key":"3_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1019","DOI":"10.1007\/978-3-540-39737-3_126","volume-title":"Computer and Information Sciences - ISCIS 2003","author":"J.A. Syriani","year":"2003","unstructured":"Syriani, J.A., Mansour, N.: Modeling Web Systems Using SDL. In: Yaz\u0131c\u0131, A., \u015eener, C. (eds.) ISCIS 2003. LNCS, vol.\u00a02869, pp. 1019\u20131026. Springer, Heidelberg (2003)"}],"container-title":["Communications in Computer and Information Science","Software Engineering and Computer Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22203-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T08:19:08Z","timestamp":1560327548000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22203-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642222023","9783642222030"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22203-0_3","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}