{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T02:41:19Z","timestamp":1769740879236,"version":"3.49.0"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2021,11,11]],"date-time":"2021-11-11T00:00:00Z","timestamp":1636588800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2021,11,11]],"date-time":"2021-11-11T00:00:00Z","timestamp":1636588800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2022,6]]},"DOI":"10.1007\/s11704-020-0356-7","type":"journal-article","created":{"date-parts":[[2021,11,11]],"date-time":"2021-11-11T07:04:53Z","timestamp":1636614293000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Model-based automated testing of JavaScript Web applications via longer test sequences"],"prefix":"10.1007","volume":"16","author":[{"given":"Pengfei","family":"Gao","sequence":"first","affiliation":[]},{"given":"Yongjie","family":"Xu","sequence":"additional","affiliation":[]},{"given":"Fu","family":"Song","sequence":"additional","affiliation":[]},{"given":"Taolue","family":"Chen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,11,11]]},"reference":[{"key":"356_CR1","doi-asserted-by":"crossref","unstructured":"Saxena P, Akhawe D, Hanna S, Mao F, McCamant S, Song D. A symbolic execution framework for JavaScript. In: Proceedings of IEEE Symposium on Security and Privacy. 2010, 513\u2013528","DOI":"10.1109\/SP.2010.38"},{"key":"356_CR2","doi-asserted-by":"crossref","unstructured":"Artzi S, Dolby J, Jensen S H, M\u00f8ller A, Tip F. A framework for automated testing of JavaScript web applications. In: Proceedings of International Conference on Software Engineering. 2011, 571\u2013580","DOI":"10.1145\/1985793.1985871"},{"issue":"1","key":"356_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2109205.2109208","volume":"6","author":"A Mesbah","year":"2012","unstructured":"Mesbah A, Van Deursen A, Lenselink S. Crawling ajaxbased web applications through dynamic analysis of user interface state changes. ACM Transactions on the Web, 2012, 6(1): 1\u201330","journal-title":"ACM Transactions on the Web"},{"key":"356_CR4","doi-asserted-by":"crossref","unstructured":"Sen K, Kalasapur S, Brutch T G, Gibbs S. Jalangi: a selective record-replay and dynamic analysis framework for JavaScript. In: Proceedings of Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. 2013, 488\u2013498","DOI":"10.1145\/2491411.2491447"},{"key":"356_CR5","doi-asserted-by":"crossref","unstructured":"Mirshokraie S, Mesbah A, Pattabiraman K. Efficient JavaScript mutation testing. In: Proceedings of IEEE International Conference on Software Testing, Verification and Validation. 2013, 74\u201383","DOI":"10.1109\/ICST.2013.23"},{"key":"356_CR6","doi-asserted-by":"crossref","unstructured":"Li G, Andreasen E, Ghosh I. SymJS: automatic symbolic testing of JavaScript Web applications. In: Proceedings of ACM SIGSOFT International Symposium on Foundations of Software Engineering. 2014, 449\u2013459","DOI":"10.1145\/2635868.2635913"},{"key":"356_CR7","doi-asserted-by":"crossref","unstructured":"Pradel M, Schuh P, Necula G, Sen K. EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation. In: Proceedings of ACM International Conference on Object Oriented Programming Systems Languages & Applications. 2014, 33\u201347","DOI":"10.1145\/2714064.2660233"},{"issue":"5","key":"356_CR8","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1109\/TSE.2014.2371458","volume":"41","author":"S Mirshokraie","year":"2015","unstructured":"Mirshokraie S, Mesbah A, Pattabiraman K. Guided mutation testing for JavaScript Web Applications. IEEE Transactions on Software Engineering, 2015, 41(5): 429\u2013444","journal-title":"IEEE Transactions on Software Engineering"},{"key":"356_CR9","doi-asserted-by":"crossref","unstructured":"Sen K, Necula G C, Gong L, Choi W. MultiSE: multipath symbolic execution using value summaries. In: Proceedings of Joint Meeting on Foundations of Software Engineering. 2015, 842\u2013853","DOI":"10.1145\/2786805.2786830"},{"issue":"5","key":"356_CR10","first-page":"66:1","volume":"50","author":"E Andreasen","year":"2017","unstructured":"Andreasen E, Gong L, M\u00f8ller A, Pradel M, Selakovic M, Sen K, Staicu C. A survey of dynamic analysis and test generation for JavaScript. ACM Computing Surveys, 2017, 50(5): 66:1\u201366:36","journal-title":"ACM Computing Surveys"},{"key":"356_CR11","doi-asserted-by":"crossref","unstructured":"Sung C, Kusano M, Sinha N, Wang C. Static DOM event dependency analysis for testing Web applications. In: Proceedings of ACM SIGSOFT International Symposium on Foundations of Software Engineering. 2016, 447\u2013459","DOI":"10.1145\/2950290.2950292"},{"key":"356_CR12","doi-asserted-by":"crossref","unstructured":"Arcuri A. Longer is better: On the role of test sequence length in software testing. In: Proofceedings of International Conference on Software Testing, Verification and Validation. 2010, 469\u2013478","DOI":"10.1109\/ICST.2010.16"},{"key":"356_CR13","doi-asserted-by":"crossref","unstructured":"Andrews J H, Groce A, Weston M, Xu R G. Random test run length and effectiveness. In: Proofceedings of IEEE\/ACM International Conference on Automated Software Engineering. 2008, 19\u201328","DOI":"10.1109\/ASE.2008.12"},{"key":"356_CR14","doi-asserted-by":"crossref","unstructured":"Fraser G, Gargantini A. Experiments on the test case length in specification based test case generation. In: Proceedings of International Workshop on Automation of Software Test. 2009, 18\u201326","DOI":"10.1109\/IWAST.2009.5069037"},{"key":"356_CR15","doi-asserted-by":"crossref","unstructured":"Carino S, Andrews J H. Evaluating the effect of test case length on GUI test suite performance. In: Proceedings of IEEE\/ACM International Workshop on Automation of Software Test. 2015, 13\u201317","DOI":"10.1109\/AST.2015.10"},{"key":"356_CR16","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1016\/j.is.2014.02.001","volume":"43","author":"Y F Li","year":"2014","unstructured":"Li Y F, Das P K, Dowe D L. Two decades of Web application testing \u2014 A survey of recent advances. Information Systems, 2014, 43: 20\u201354","journal-title":"Information Systems"},{"key":"356_CR17","doi-asserted-by":"crossref","unstructured":"Cheng L, Yang Z, Wang C. Systematic reduction of GUI test sequences. In: Proceedings of IEEE\/ACM International Conference on Automated Software Engineering. 2017, 849\u2013860","DOI":"10.1109\/ASE.2017.8115696"},{"key":"356_CR18","volume-title":"Partial-Order Methods for the Verification of Concurrent Systems \u2014 An Approach to the StateExplosion Problem","author":"P Godefroid","year":"1996","unstructured":"Godefroid P, van Leeuwen J, Hartmanis J, Goos G, Wolper P. Partial-Order Methods for the Verification of Concurrent Systems \u2014 An Approach to the StateExplosion Problem. Heidelberg: Springer, 1996"},{"issue":"3","key":"356_CR19","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1002\/stvr.1486","volume":"24","author":"A Arcuri","year":"2014","unstructured":"Arcuri A, Briand L C. A hitchhiker\u2019s guide to statistical tests for assessing randomized algorithms in software engineering. Software Testing, Verification and Reliability, 2014, 24(3): 219\u2013250","journal-title":"Software Testing, Verification and Reliability"},{"key":"356_CR20","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/S0065-2458(10)80002-6","volume":"80","author":"A C Dias-Neto","year":"2010","unstructured":"Dias-Neto A C, Travassos G H. A picture from the model-based testing area: Concepts, techniques, and challenges. Advances in Computers, 2010, 80: 45\u2013120","journal-title":"Advances in Computers"},{"issue":"5","key":"356_CR21","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"M Utting","year":"2012","unstructured":"Utting M, Pretschner A, Legeard B. A taxonomy of model-based testing approaches. Software Testing, Verification & Reliability, 2012, 22(5): 297\u2013312","journal-title":"Software Testing, Verification & Reliability"},{"key":"356_CR22","doi-asserted-by":"crossref","unstructured":"Li W, Le Gall F, Spaseski N. A survey on model-based testing tools for test case generation. In: Proceedings of International Conference on Tools and Methods of Program Analysis. 2018, 77\u201389","DOI":"10.1007\/978-3-319-71734-0_7"},{"key":"356_CR23","doi-asserted-by":"crossref","unstructured":"Jensen C S, Prasad M R, M\u00f8ller A. Automated testing with targeted event sequence generation. In: Proceedings of International Symposium on Software Testing and Analysis. 2013, 67\u201377","DOI":"10.1145\/2483760.2483777"},{"key":"356_CR24","doi-asserted-by":"crossref","unstructured":"Takala T, Katara M, Harty J. Experiences of systemlevel model-based GUI testing of an android application. In: Proceedings of IEEE International Conference on Software Testing, Verification and Validation. 2011, 377\u2013386","DOI":"10.1109\/ICST.2011.11"},{"key":"356_CR25","doi-asserted-by":"crossref","unstructured":"Rau A, Hotzkow J, Zeller A. Efficient GUI test generation by learning from tests of other apps. In: Proceedings of International Conference on Software Engineering: Companion Proceedings. 2018, 370\u2013371","DOI":"10.1145\/3183440.3195014"},{"issue":"3","key":"356_CR26","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/s10270-004-0077-7","volume":"4","author":"A A Andrews","year":"2005","unstructured":"Andrews A A, Offutt J, Alexander R T. Testing Web applications by modeling with fsms. Software and System Modeling, 2005, 4(3): 326\u2013345","journal-title":"Software and System Modeling"},{"key":"356_CR27","doi-asserted-by":"crossref","unstructured":"Ricca F, Tonella P. Analysis and testing of Web applications. In: Proceedings of International Conference on Software Engineering. 2001, 25\u201334","DOI":"10.1109\/ICSE.2001.919078"},{"key":"356_CR28","doi-asserted-by":"crossref","unstructured":"Dallmeier V, Burger M, Orth T, Zeller A. Webmate: a tool for testing Web 2.0 applications. In: Proceedings of Workshop on JavaScript Tools. 2012, 11\u201315","DOI":"10.1145\/2307720.2307722"},{"key":"356_CR29","doi-asserted-by":"crossref","unstructured":"Alshahwan N, Harman M. Automated Web application testing using search based software engineering. In: Proceedings of IEEE\/ACM International Conference on Automated Software Engineering. 2011, 3\u201312","DOI":"10.1109\/ASE.2011.6100082"},{"key":"356_CR30","doi-asserted-by":"crossref","unstructured":"Nguyen C, Yoshida H, Prasad M R, Ghosh I, Sen K. Generating succinct test cases using don\u2019t care analysis. In: Proceedings of IEEE International Conference on Software Testing, Verification and Validation. 2015, 1\u201310","DOI":"10.1109\/ICST.2015.7102590"},{"key":"356_CR31","doi-asserted-by":"crossref","unstructured":"Rau A, Hotzkow J, Zeller A. Transferring tests across Web applications. In: Proceedings of International Conference on Web Engineering. 2018, 50\u201364","DOI":"10.1007\/978-3-319-91662-0_4"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-020-0356-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11704-020-0356-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-020-0356-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T22:48:39Z","timestamp":1726094919000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11704-020-0356-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,11]]},"references-count":31,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,6]]}},"alternative-id":["356"],"URL":"https:\/\/doi.org\/10.1007\/s11704-020-0356-7","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,11,11]]},"assertion":[{"value":"17 July 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 October 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 November 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"163204"}}