{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:12:28Z","timestamp":1725541948589},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642112652"},{"type":"electronic","value":"9783642112669"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11266-9_2","type":"book-chapter","created":{"date-parts":[[2009,12,7]],"date-time":"2009-12-07T09:04:58Z","timestamp":1260176698000},"page":"16-28","source":"Crossref","is-referenced-by-count":5,"title":["Research Issues in the Automated Testing of Ajax Applications"],"prefix":"10.1007","author":[{"given":"Arie","family":"van Deursen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali","family":"Mesbah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1109\/TAIC.PART.2007.13","volume-title":"TAICPART-MUTATION 2007: Proceedings of the Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION","author":"R. Abreu","year":"2007","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: On the Accuracy of Spectrum-Based Fault Localization. In: TAICPART-MUTATION 2007: Proceedings of the Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, Washington, DC, USA, pp. 89\u201398. IEEE Computer Society, Los Alamitos (2007)"},{"issue":"3","key":"2_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 and Systems Modeling\u00a04(3), 326\u2013345 (2005)","journal-title":"Software and Systems Modeling"},{"issue":"1","key":"2_CR3","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Trans. on Dependable and Secure Computing\u00a01(1), 11\u201333 (2004)","journal-title":"IEEE Trans. on Dependable and Secure Computing"},{"key":"2_CR4","unstructured":"Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold Co. (1990)"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1109\/FOSE.2007.25","volume-title":"ICSE Future of Software Engineering (FOSE 2007)","author":"A. Bertolino","year":"2007","unstructured":"Bertolino, A.: Software Testing Research: Achievements, Challenges, Dreams. In: ICSE Future of Software Engineering (FOSE 2007), pp. 85\u2013103. IEEE Computer Society, Los Alamitos (2007)"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1145\/1595696.1595711","volume-title":"Proceedings of the 7th\u00a0Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC-FSE 2009)","author":"C.-P. Bezemer","year":"2009","unstructured":"Bezemer, C.-P., Mesbah, A., van Deursen, A.: Automated Security Testing of Web Widget Interactions. In: Proceedings of the 7th\u00a0Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC-FSE 2009), pp. 81\u201391. ACM, New York (2009)"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/3-540-45319-9_31","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Christensen","year":"2001","unstructured":"Christensen, S., Kristensen, L.M., Mailund, T.: A Sweep-Line Method for State Space Exploration. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, pp. 450\u2013464. Springer, Heidelberg (2001)"},{"issue":"3","key":"2_CR8","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/1127878.1127900","volume":"31","author":"L.A. Clarke","year":"2006","unstructured":"Clarke, L.A., Rosenblum, D.S.: A Historical Perspective on Runtime Assertion Checking in Software Development. ACM SIGSOFT Software Engineering Notes\u00a031(3), 25\u201337 (2006)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"7","key":"2_CR9","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1109\/32.605761","volume":"23","author":"D.M. Cohen","year":"1997","unstructured":"Cohen, D.M., Dalal, S.R., Fredman, M.L., Patton, G.C.: The AETG System: An Approach to Testing Based on Combinatiorial Design. IEEE Trans. Software Eng.\u00a023(7), 437\u2013444 (1997)","journal-title":"IEEE Trans. Software Eng."},{"issue":"12","key":"2_CR10","doi-asserted-by":"publisher","first-page":"1172","DOI":"10.1016\/j.infsof.2006.06.006","volume":"48","author":"G.A. Lucca Di","year":"2006","unstructured":"Di Lucca, G.A., Fasolino, A.R.: Testing Web-Based Applications: The State of the Art and Future Trends. Inf. Softw. Technol.\u00a048(12), 1172\u20131186 (2006)","journal-title":"Inf. Softw. Technol."},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/ISSRE.2005.20","volume-title":"Proceedings of the 16th\u00a0IEEE International Symposium on Software Reliability Engineering (ISSRE 2005)","author":"S. Elbaum","year":"2005","unstructured":"Elbaum, S., Chilakamarri, K.-R., Gopal, B., Rothermel, G.: Helping End-Users \u2018Engineer\u2019 Dependable Web Applications. In: Proceedings of the 16th\u00a0IEEE International Symposium on Software Reliability Engineering (ISSRE 2005), pp. 31\u201340. IEEE Computer Society, Los Alamitos (2005)"},{"key":"2_CR12","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1109\/ICSE.2003.1201187","volume-title":"Proc. 25th\u00a0Int. Conf. on Software Engineering (ICSE 2003)","author":"S. Elbaum","year":"2003","unstructured":"Elbaum, S., Karre, S., Rothermel, G.: Improving Web Application Testing with User Session Data. In: Proc. 25th\u00a0Int. Conf. on Software Engineering (ICSE 2003), pp. 49\u201359. IEEE Computer Society, Los Alamitos (2003)"},{"issue":"2","key":"2_CR13","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/32.908957","volume":"27","author":"M.D. Ernst","year":"2001","unstructured":"Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically Discovering Likely Program Invariants to Support Program Evolution. IEEE Trans. Softw. Eng.\u00a027(2), 99\u2013123 (2001)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR14","unstructured":"Fielding, R.: Architectural Styles and the Design of Network-Based Software Architectures. PhD Thesis. UC, Irvine, Information and Computer Science (2000)"},{"key":"2_CR15","unstructured":"Garrett, J.: Ajax: A New Approach to Web Applications. Adaptive path (February 2005), \n                    \n                      http:\/\/www.adaptivepath.com\/publications\/essays\/archives\/000385.php"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/277631.277647","volume-title":"PASTE 1998: Proceedings of the 1998 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering","author":"M.-J. Harrold","year":"1998","unstructured":"Harrold, M.-J., Rothermel, G., Wu, R., Yi, L.: An Empirical Investigation of Program Spectra. In: PASTE 1998: Proceedings of the 1998 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, pp. 83\u201390. ACM, New York (1998)"},{"key":"2_CR17","unstructured":"Holzmann, G.: State Compression in SPIN: Recursive Indexing and Compression Training Runs. In: Proceedings of Third International SPIN Workshop (1997)"},{"issue":"5","key":"2_CR18","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The Model Checker SPIN. IEEE Transactions on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR19","unstructured":"IEEE. IEEE Std 610.12-1990: IEEE Standard Glossary of Software Engineering Terminology. IEEE (1990)"},{"issue":"6","key":"2_CR20","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1109\/TSE.2004.24","volume":"30","author":"D.R. Kuhn","year":"2004","unstructured":"Kuhn, D.R., Wallace, D.R., Gallo, A.M.: Software Fault Interactions and Implications for Software Testing. IEEE Trans. Software Eng.\u00a030(6), 418\u2013421 (2004)","journal-title":"IEEE Trans. Software Eng."},{"issue":"6","key":"2_CR21","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/s10009-008-0086-x","volume":"10","author":"A. Marchetto","year":"2008","unstructured":"Marchetto, A., Ricca, F., Tonella, P.: A Case Study-Based Comparison of Web Testing Techniques Applied to Ajax Web Applications. Int. Journal on Software Tools for Technology Transfer\u00a010(6), 477\u2013492 (2008)","journal-title":"Int. Journal on Software Tools for Technology Transfer"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1109\/ICST.2008.22","volume-title":"Proc. 1st\u00a0IEEE Int. Conference on Sw. Testing Verification and Validation (ICST 2008)","author":"A. Marchetto","year":"2008","unstructured":"Marchetto, A., Tonella, P., Ricca, F.: State-Based Testing of Ajax Web Applications. In: Proc. 1st\u00a0IEEE Int. Conference on Sw. Testing Verification and Validation (ICST 2008), pp. 121\u2013130. IEEE Computer Society, Los Alamitos (2008)"},{"key":"2_CR23","unstructured":"McKenzie, P.: Why I\u2019m Done Making Desktop Applications. Blog Post on, \n                    \n                      http:\/\/www.kalzumeus.com\/2009\/09\/05\/desktop-aps-versus-web-apps\/\n                    \n                    \n                   (Date consulted: 15 September 2009)"},{"key":"2_CR24","unstructured":"Merrill, C.L.: Using Ajax to Improve the Bandwidth Performance of Web Applications (2006), \n                    \n                      http:\/\/www.webperformanceinc.com\/library\/reports\/AjaxBandwidth\/"},{"key":"2_CR25","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1109\/ICWE.2008.24","volume-title":"Proceedings of the 8th\u00a0International Conference on Web Engineering (ICWE 2008)","author":"A. Mesbah","year":"2008","unstructured":"Mesbah, A., Bozdag, E., van Deursen, A.: Crawling Ajax by Inferring User Interface State Changes. In: Proceedings of the 8th\u00a0International Conference on Web Engineering (ICWE 2008), pp. 122\u2013134. IEEE Computer Society, Los Alamitos (2008)"},{"issue":"12","key":"2_CR26","doi-asserted-by":"publisher","first-page":"2194","DOI":"10.1016\/j.jss.2008.04.005","volume":"81","author":"A. Mesbah","year":"2008","unstructured":"Mesbah, A., van Deursen, A.: A Component- and Push-Based Architectural Style for Ajax Applications. Journal of Systems and Software\u00a081(12), 2194\u20132209 (2008)","journal-title":"Journal of Systems and Software"},{"key":"2_CR27","first-page":"210","volume-title":"Proceedings of the 31st\u00a0International Conference on Software Engineering (ICSE 2009), Research Papers","author":"A. Mesbah","year":"2009","unstructured":"Mesbah, A., van Deursen, A.: Invariant-Based Automatic Testing of Ajax User Interfaces. In: Proceedings of the 31st\u00a0International Conference on Software Engineering (ICSE 2009), Research Papers, pp. 210\u2013220. IEEE Computer Society, Los Alamitos (2009)"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Morell, L.: Theoretical Insights into Fault-Based Testing. In: Proc. 2nd\u00a0Workshop on Software Testing, Verification, and Analysis, pp. 45\u201362 (1988)","DOI":"10.1109\/WST.1988.5353"},{"issue":"2","key":"2_CR29","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/52.991329","volume":"19","author":"J. Offutt","year":"2002","unstructured":"Offutt, J.: Quality Attributes of Web Software Applications. IEEE Softw.\u00a019(2), 25\u201332 (2002)","journal-title":"IEEE Softw."},{"issue":"6","key":"2_CR30","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1145\/62959.62964","volume":"31","author":"T.J. Ostrand","year":"1988","unstructured":"Ostrand, T.J., Balcer, M.J.: The Category-Partition Method for Specifying and Generating Functional Tests. Commun. ACM\u00a031(6), 676\u2013686 (1988)","journal-title":"Commun. ACM"},{"issue":"4","key":"2_CR31","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"D.E. Perry","year":"1992","unstructured":"Perry, D.E., Wolf, A.L.: Foundations for the Study of Software Architecture. SIGSOFT Softw. Eng. Notes\u00a017(4), 40\u201352 (1992)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"2_CR32","volume-title":"Software Testing and Analysis","author":"M. Pezz\u00e8","year":"2008","unstructured":"Pezz\u00e8, M., Young, M.: Software Testing and Analysis. Wiley, Chichester (2008)"},{"key":"2_CR33","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/ICSE.2001.919078","volume-title":"ICSE 2001: 23rd\u00a0Int. Conf. on Sw. Eng.","author":"F. Ricca","year":"2001","unstructured":"Ricca, F., Tonella, P.: Analysis and Testing of Web Applications. In: ICSE 2001: 23rd\u00a0Int. Conf. on Sw. Eng., pp. 25\u201334. IEEE Computer Society, Los Alamitos (2001)"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Richardson, D., Thompson, M.: The RELAY Model of Error Detection and Its Application. In: Proc. 2nd\u00a0Workshop on Software Testing, Verification, and Analysis, pp. 223\u2013230 (1988)","DOI":"10.1109\/WST.1988.5378"},{"issue":"3","key":"2_CR35","doi-asserted-by":"publisher","first-page":"30","DOI":"10.4304\/jsw.3.3.30-37","volume":"3","author":"C.V. Smullen III","year":"2008","unstructured":"Smullen III, C.V., Smullen, S.A.: An Experimental Study of Ajax Application Performance. Journal of Software\u00a03(3), 30\u201337 (2008)","journal-title":"Journal of Software"},{"key":"2_CR36","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/1101908.1101947","volume-title":"ASE 2005: Proc. 20th\u00a0IEEE\/ACM Int. Conf. on Automated Sw. Eng.","author":"S. Sprenkle","year":"2005","unstructured":"Sprenkle, S., Gibson, E., Sampath, S., Pollock, L.: Automated Replay and Failure Detection for Web Applications. In: ASE 2005: Proc. 20th\u00a0IEEE\/ACM Int. Conf. on Automated Sw. Eng., pp. 253\u2013262. ACM, New York (2005)"},{"key":"2_CR37","doi-asserted-by":"publisher","first-page":"902","DOI":"10.1109\/ICACTE.2008.82","volume-title":"International Conference on Advanced Computer Theory and Engineering","author":"A. Tarhini","year":"2008","unstructured":"Tarhini, A., Ismail, Z., Mansour, N.: Regression Testing Web Applications. In: International Conference on Advanced Computer Theory and Engineering, pp. 902\u2013906. IEEE Computer Society, Los Alamitos (2008)"},{"key":"2_CR38","unstructured":"White, A.: Measuring the Benefits of Ajax (2006), \n                    \n                      http:\/\/www.developer.com\/java\/other\/article.php\/3554271"},{"key":"2_CR39","unstructured":"Willemsen, J.: Improving User Workflows with Single-Page User Interfaces (November 2006), \n                    \n                      http:\/\/www.uxmatters.com\/MT\/archives\/000149.php"},{"key":"2_CR40","volume-title":"Case Study Research: Design and Methods","author":"R.K. Yin","year":"2003","unstructured":"Yin, R.K.: Case Study Research: Design and Methods, 3rd edn. SAGE Publications Inc., Thousand Oaks (2003)","edition":"3"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2010: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11266-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,10]],"date-time":"2019-03-10T17:58:33Z","timestamp":1552240713000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11266-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642112652","9783642112669"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11266-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}