{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T07:56:48Z","timestamp":1725695808635},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,5,11]]},"DOI":"10.1145\/1370042.1370050","type":"proceedings-article","created":{"date-parts":[[2008,5,15]],"date-time":"2008-05-15T18:35:39Z","timestamp":1210876539000},"page":"33-40","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Test generation for graphical user interfaces based on symbolic execution"],"prefix":"10.1145","author":[{"given":"Svetoslav R.","family":"Ganov","sequence":"first","affiliation":[{"name":"The University of Texas at Austin, Austin, TX, USA"}]},{"given":"Chip","family":"Killmar","sequence":"additional","affiliation":[{"name":"iTKO Inc, Dallas, TX, USA"}]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin, Austin, TX, USA"}]},{"given":"Dewayne E.","family":"Perry","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin, Austin, TX, USA"}]}],"member":"320","published-online":{"date-parts":[[2008,5,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"A. M\u00f8ller. Brics automaton library. http:\/\/www.brics.dk\/automaton. A. M\u00f8ller. Brics automaton library. http:\/\/www.brics.dk\/automaton."},{"key":"e_1_3_2_1_2_1","volume-title":"Retrieved on","author":"ASM","year":"2007","unstructured":"ASM , Retrieved on November 1, 2007 from ASM : http:\/\/asm.objectweb.org\/ ASM, Retrieved on November 1, 2007 from ASM: http:\/\/asm.objectweb.org\/"},{"key":"e_1_3_2_1_3_1","volume-title":"Retrieved on","author":"Choco","year":"2008","unstructured":"Choco , Retrieved on January 25, 2008 from ASM : http:\/\/choco-solver.net\/index.php?title=Main_Page Choco, Retrieved on January 25, 2008 from ASM: http:\/\/choco-solver.net\/index.php?title=Main_Page"},{"key":"e_1_3_2_1_4_1","volume-title":"Precise Analysis of String Expressions. SAS 2003","author":"Christensen A. S.","year":"2003","unstructured":"Christensen , A. S. , M\u00f8ller , A. , and Schwartzbach , M. I . Precise Analysis of String Expressions. SAS 2003 , 1--18, 2003 . Christensen, A. S., M\u00f8ller, A., and Schwartzbach, M. I. Precise Analysis of String Expressions. SAS 2003, 1--18, 2003."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233817"},{"key":"e_1_3_2_1_8_1","volume-title":"International Conference on Artificial intelligence and Applications (AIA 2004","author":"Memon A.","year":"2004","unstructured":"Memon , A. Using Tasks to Automate Regression Testing of GUIs . In International Conference on Artificial intelligence and Applications (AIA 2004 ), Innsbruck, Austria , Feb. 16-18, 2004 . (BibTeX). Memon, A. Using Tasks to Automate Regression Testing of GUIs. In International Conference on Artificial intelligence and Applications (AIA 2004), Innsbruck, Austria, Feb. 16-18, 2004. (BibTeX)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/950792.951350"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/942800.943604"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240304"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2006.19"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233835"},{"key":"e_1_3_2_1_14_1","volume-title":"Abstracting Symbolic Execution with String Analysis Testing: Academic and Industrial Conference Practice and Research Techniques-MUTATION, 2007","author":"Shannon D.","year":"2007","unstructured":"Shannon , D. , Hajra , S. , Lee , A. , Zhan , D. , Khurshid , S. , Abstracting Symbolic Execution with String Analysis Testing: Academic and Industrial Conference Practice and Research Techniques-MUTATION, 2007 . TAICPART-MUTATION 2007 . Shannon, D., Hajra, S., Lee, A., Zhan, D., Khurshid, S., Abstracting Symbolic Execution with String Analysis Testing: Academic and Industrial Conference Practice and Research Techniques-MUTATION, 2007. TAICPART-MUTATION 2007."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/795670.796870"},{"key":"e_1_3_2_1_16_1","volume-title":"Retrieved on","author":"Squish","year":"2008","unstructured":"Squish , Retrieved on January 25, 2008 from FrogLogic http:\/\/www.froglogic.com\/pg?id=Products&category=squish&sub=overview&subsub=overview Squish, Retrieved on January 25, 2008 from FrogLogic http:\/\/www.froglogic.com\/pg?id=Products&category=squish&sub=overview&subsub=overview"},{"key":"e_1_3_2_1_17_1","first-page":"110","volume-title":"Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences. In 11th International Symposium on Software Reliability Engineering (ISSRE'00)","author":"White L.","year":"2000","unstructured":"White , L. , and Almezen , H . Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences. In 11th International Symposium on Software Reliability Engineering (ISSRE'00) , p. 110 , 2000 . White, L., and Almezen, H. Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences. In 11th International Symposium on Software Reliability Engineering (ISSRE'00), p. 110, 2000."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1416563.1416567"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1030033.1030057"},{"key":"e_1_3_2_1_20_1","first-page":"110","volume-title":"Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences. In 11th International Symposium on Software Reliability Engineering (ISSRE'00)","author":"White L.","year":"2000","unstructured":"White , L. , and Almezen , H . Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences. In 11th International Symposium on Software Reliability Engineering (ISSRE'00) , p. 110 , 2000 . White, L., and Almezen, H. Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences. In 11th International Symposium on Software Reliability Engineering (ISSRE'00), p.110, 2000."},{"key":"e_1_3_2_1_21_1","unstructured":"Xie Q. and Atif M. Memon Using a Pilot Study to Derive a GUI Model for Automated Testing Xie Q. and Atif M. Memon Using a Pilot Study to Derive a GUI Model for Automated Testing"},{"key":"e_1_3_2_1_22_1","volume-title":"on Softw. Eng. and Method","author":"Trans","year":"2008","unstructured":"ACM Trans . on Softw. Eng. and Method ., 2008 ACM Trans. on Softw. Eng. and Method., 2008"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1030033.1030057"}],"event":{"name":"ICSE '08: International Conference on Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Leipzig Germany","acronym":"ICSE '08"},"container-title":["Proceedings of the 3rd international workshop on Automation of software test"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1370042.1370050","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T04:59:01Z","timestamp":1673499541000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1370042.1370050"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,11]]},"references-count":22,"alternative-id":["10.1145\/1370042.1370050","10.1145\/1370042"],"URL":"https:\/\/doi.org\/10.1145\/1370042.1370050","relation":{},"subject":[],"published":{"date-parts":[[2008,5,11]]},"assertion":[{"value":"2008-05-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}