{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:28:14Z","timestamp":1747805294267},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642103728"},{"type":"electronic","value":"9783642103735"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10373-5_4","type":"book-chapter","created":{"date-parts":[[2009,11,16]],"date-time":"2009-11-16T06:45:27Z","timestamp":1258353927000},"page":"69-87","source":"Crossref","is-referenced-by-count":25,"title":["Event Listener Analysis and Symbolic Execution for Testing GUI Applications"],"prefix":"10.1007","author":[{"given":"Svetoslav","family":"Ganov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chip","family":"Killmar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dewayne E.","family":"Perry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"ASM: Java bytecode manipulation and analysis framework, http:\/\/asm.objectweb.org\/"},{"key":"4_CR2","unstructured":"Choco: Java library for constraint solving, http:\/\/sourceforge.net\/projects\/choco\/"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-63531-9_18","volume-title":"Software Engineering - ESEC-FSE \u201997","author":"M. Dweyer","year":"1997","unstructured":"Dweyer, M., Carr, V., Hines, L.: Model Checking Graphical User Interfaces Using Abstractions. In: Jazayeri, M. (ed.) ESEC 1997 and ESEC-FSE 1997. LNCS, vol.\u00a01301, pp. 244\u2013261. Springer, Heidelberg (1997)"},{"key":"4_CR4","unstructured":"Emma: Java code coverage tool, http:\/\/emma.sourceforge.net\/"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Ganov, S., Killmar, C., Khurshid, S., Perry, D.: Test Generation for Graphical User Interfaces Based on Symbolic Execution. In AST, 2008.","DOI":"10.1145\/1370042.1370050"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Grechanik, M., Xie, Q., Fu, C.: Maintaining and Evolving GUI-Directed Test Scripts. In: ICSE (2009)","DOI":"10.1109\/ICSE.2009.5070540"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"King, J.: Symbolic Execution and Program Testing. Communications of the ACM (1976)","DOI":"10.1145\/360248.360252"},{"key":"4_CR8","unstructured":"Lori, C.: A System to Generate Test Data and Symbolically Execute Programs. IEEE Transactions on Software Engineering (1976)"},{"key":"4_CR9","unstructured":"Memon, A.: A Comprehensive Framework For Testing Graphical User Interfaces. Ph.D. Thesis, University of Pittsburgh (2001)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Memon, A.: Using Tasks to Automate Regression Testing of GUIs. In: AIA (2004)","DOI":"10.1142\/9789812794758_0003"},{"key":"4_CR11","unstructured":"Memon, A., Banarjee, I., Nagarajan, A.: GUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing. In: WRCE (2003)"},{"key":"4_CR12","unstructured":"Memon, A., Banarjee, I., Nagarajan, A.: DART: A Framework for Regression Testing Nightly\/Daily Builds of GUI Applications. In: ICSM (2003)"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Memon, A., Banarjee, I., Nagarajan, A.: What Test Oracle Should I use for Effective GUI Testing? In: ASE (2003)","DOI":"10.1109\/ASE.2003.1240304"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Memon, A., McMaster, S.: Call Stack Coverage for GUI Test-Suite Reduction. In: ISSRE (2006)","DOI":"10.1109\/ISSRE.2006.19"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: Directed Automated Random Testing. In: PLDI (2005)","DOI":"10.1145\/1065010.1065036"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: A Concolic Unit Testing Engine for C. In: ESEC\/FSE 2005 (2005)","DOI":"10.1145\/1081706.1081750"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Ramamoorthy, V., Siu-Bun, H., Chen, W.: On the Automated Generation of Program Test Data. In: IEEE TSE (1976)","DOI":"10.1109\/TSE.1976.233835"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Shehady, R., Siewiorek, D.: A Method to Automate User Interface Testing Using Variable Finite State Machines. In: FTCS, 1997.","DOI":"10.1109\/FTCS.1997.614080"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Shannon, D., Hajra, S., Lee, A., Zhan, D., Khurshid, S.: Abstracting Symbolic Execution with String Analysis. In: TAICPART-MUTATION (2007)","DOI":"10.1109\/TAIC.PART.2007.34"},{"key":"4_CR20","unstructured":"SWT: The Standard Widget Toolkit, http:\/\/www.eclipse.org\/SWT"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"White, L., Almezen, H.: Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences. In: ISSRE (2000)","DOI":"10.1109\/ISSRE.2000.885865"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Xie, Q., Atif, M.: Using a Pilot Study to Derive a GUI Model for Automated Testing. In: TOSEM (2008)","DOI":"10.1145\/1416563.1416567"},{"key":"4_CR23","unstructured":"Zhang, J., Xu, C., Wang, X.: Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques. In: SEFM (2004)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10373-5_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,13]],"date-time":"2021-10-13T23:41:47Z","timestamp":1634168507000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10373-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642103728","9783642103735"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10373-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}