{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T02:10:10Z","timestamp":1748657410888,"version":"3.41.0"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319235080"},{"type":"electronic","value":"9783319235097"}],"license":[{"start":{"date-parts":[[2015,10,15]],"date-time":"2015-10-15T00:00:00Z","timestamp":1444867200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,10,15]],"date-time":"2015-10-15T00:00:00Z","timestamp":1444867200000},"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":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-23509-7_13","type":"book-chapter","created":{"date-parts":[[2015,10,15]],"date-time":"2015-10-15T10:03:34Z","timestamp":1444903414000},"page":"177-193","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Model Inference of Mobile Applications with Dynamic State Abstraction"],"prefix":"10.1007","author":[{"given":"S\u00e9bastien","family":"Salva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrice","family":"Lauren\u00e7ot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stassia R.","family":"Zafimiharisoa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,10,15]]},"reference":[{"key":"13_CR1","doi-asserted-by":"publisher","unstructured":"Amalfitano, D., Fasolino, A., Tramontana, P.: A gui crawling-based technique for android mobile application testing. In: Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference on, pp. 252\u2013261 (2011). doi:10.1109\/ICSTW.2011.77","DOI":"10.1109\/ICSTW.2011.77"},{"key":"13_CR2","doi-asserted-by":"publisher","unstructured":"Anand, S., Naik, M., Harrold, M.J., Yang, H.: Automated concolic testing of smartphone apps. In: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE \u201912, pp. 1\u201311. ACM, New York, NY, USA (2012). doi:10.1145\/2393596.2393666","DOI":"10.1145\/2393596.2393666"},{"issue":"4","key":"13_CR3","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1109\/TSE.2010.31","volume":"36","author":"S Artzi","year":"2010","unstructured":"Artzi, S., Kiezun, A., Dolby, J., Tip, F., Dig, D., Paradkar, A., Ernst, M.: Finding bugs in web applications using dynamic test generation and explicit-state model checking. IEEE Trans. Softw. Eng. 36(4), 474\u2013494 (2010). doi:10.1109\/TSE.2010.31","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"10","key":"13_CR4","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1145\/2544173.2509552","volume":"48","author":"Wontae Choi","year":"2013","unstructured":"Choi, W., Necula, G., Sen, K.: Guided gui testing of android apps with minimal restart and approximate learning. SIGPLAN Not. 48(10), 623\u2013640 (2013). doi:10.1145\/2544173.2509552, http:\/\/doi.acm.org\/10.1145\/2544173.2509552","journal-title":"ACM SIGPLAN Notices"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Cohen, M.B., Gibbons, P.B., Mugridge, W.B., Colbourn, C.J.: Constructing test suites for interaction testing. In: Proceeding of the 25th International Conference on Software Engineering, pp. 38\u201348 (2003)","DOI":"10.1109\/ICSE.2003.1201186"},{"key":"13_CR6","first-page":"13","volume":"13","author":"JC Fernandez","year":"1989","unstructured":"Fernandez, J.C.: An implementation of an efficient algorithm for bisimulation equivalence. Sci. Comput. Programm. 13, 13\u2013219 (1989)","journal-title":"Sci. Comput. Programm."},{"key":"13_CR7","unstructured":"Google: Ui\/application exerciser Monkey. http:\/\/developer.android.com\/tools\/help\/monkey.html, Last Accessed Jan 2015"},{"key":"13_CR8","doi-asserted-by":"publisher","unstructured":"Machiry, A., Tahiliani, R., Naik, M.: Dynodroid: An input generation system for android apps. In: Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, ESEC\/FSE 2013, pp. 224\u2013234. ACM, New York, NY, USA (2013). doi:10.1145\/2491411.2491450","DOI":"10.1145\/2491411.2491450"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Memon, A., Banerjee, I., Nagarajan, A.: Gui ripping: Reverse engineering of graphical user interfaces for testing. In: Proceedings of the 10th Working Conference on Reverse Engineering, WCRE \u201903, pp. 260\u2013269. IEEE Computer Society, Washington, DC, USA (2003)","DOI":"10.1109\/WCRE.2003.1287256"},{"issue":"1","key":"13_CR10","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 Ajax-based web applications through dynamic analysis of user interface state changes. ACM Trans. Web (TWEB) 6(1), 1\u201330 (2012)","journal-title":"ACM Trans. Web (TWEB)"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Salva, S., Lauren\u00e7ot, P., Zafimiharisoa, S.R.: Model inference of mobile applications with dynamic state abstraction. Techincal Report, LIMOS (2015). http:\/\/sebastien.salva.free.fr\/RR-15-01.pdf","DOI":"10.1007\/978-3-319-23509-7_13"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-642-37057-1_19","volume-title":"Fundamental Approaches to Software Engineering","author":"Wei Yang","year":"2013","unstructured":"Yang, W., Prasad, M.R., Xie, T.: A grey-box approach for automated gui-model generation of mobile applications. In: Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering, FASE\u201913, pp. 250\u2013265. Springer, Berlin (2013). doi:10.1007\/978-3-642-37057-1_19"}],"container-title":["Studies in Computational Intelligence","Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing 2015"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23509-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T01:30:48Z","timestamp":1748655048000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23509-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,15]]},"ISBN":["9783319235080","9783319235097"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23509-7_13","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2015,10,15]]},"assertion":[{"value":"15 October 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}