{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:51:38Z","timestamp":1725490298318},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540442226"},{"type":"electronic","value":"9783540457855"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45785-2_27","type":"book-chapter","created":{"date-parts":[[2007,8,27]],"date-time":"2007-08-27T12:10:08Z","timestamp":1188216608000},"page":"347-359","source":"Crossref","is-referenced-by-count":1,"title":["Expressing Graphical User\u2019s Input for Test Specifications"],"prefix":"10.1007","author":[{"given":"Jessica","family":"Chen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,2]]},"reference":[{"unstructured":"A. Aho, R. Sethi, and J. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1986.","key":"27_CR1"},{"unstructured":"AutoController. See \n                    http:\/\/www.autotester.com\n                    \n                  .","key":"27_CR2"},{"key":"27_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/3-540-60029-9_34","volume-title":"A Petri net based environment for the design of event-driven interfaces","author":"R. Bastide","year":"1995","unstructured":"R. Bastide and P. Palanque. A Petri net based environment for the design of event-driven interfaces. In Lecture Notes in Computer Science 935, pages 66\u201383, 1995."},{"unstructured":"G. Booch, I. Jacobson, and J. Rumbaugh. The Unified Modeling Language User Guide. Addison-Wesley, 1998.","key":"27_CR4"},{"unstructured":"P. Bottoni, S. Chang, M. Costabile, S. Levialdi, and P. Mussio. On the specification of dymanic visual languages. In IEEE Symposium on Visual Languages, 1998.","key":"27_CR5"},{"doi-asserted-by":"crossref","unstructured":"M. Burnett, A. Sheretov, and G. Rothermel. Scaling up a \u201cwhat you see is what you test\u201d methodology to spreadsheet grids. In IEEE Symposium on Visual Languages, 1999.","key":"27_CR6","DOI":"10.1109\/VL.1999.795872"},{"doi-asserted-by":"crossref","unstructured":"J. Chen and S. Subramanian. A GUI environment to manipulate FSMs for testing GUI-based applications in Java. In Proc. of the 34th IEEE Hawaii International Conference on System Sciences (HICSS-34). IEEE Computer Society, 2001.","key":"27_CR7","DOI":"10.1109\/HICSS.2001.927256"},{"issue":"3","key":"27_CR8","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T. Chow","year":"1978","unstructured":"T. Chow. Testing software design modeled by finite state machines. IEEE Transactions on Software Engineering, 4(3):178\u2013187, 1978.","journal-title":"IEEE Transactions on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"M. Erwig. Visual graphs. In IEEE Symposium on Visual Languages, 1999.","key":"27_CR9","DOI":"10.1109\/VL.1999.795883"},{"unstructured":"A. Friedman and P. Menon. Fault Detection in Digital Circuits. Prentice Hall Inc., 1971.","key":"27_CR10"},{"unstructured":"G. Holzmann. The Design and Validation of Computer Protocols. Prentice Hall, 1991.","key":"27_CR11"},{"key":"27_CR12","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1109\/12.272431","volume":"43","author":"D. Lee","year":"1994","unstructured":"D. Lee and M. Yannakakis. Testing finite state machines: State identification and verification. IEEE Transactions on Computers, 43:306\u2013320, 1994.","journal-title":"IEEE Transactions on Computers"},{"unstructured":"X. Li, W. Mugridge, and J. Hosking. A Petri net-based visual language for specifying GUIs. In IEEE Symposium on Visual Languages, 1997.","key":"27_CR13"},{"issue":"2","key":"27_CR14","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1109\/32.908959","volume":"27","author":"A. Memon","year":"2001","unstructured":"A. Memon, M. Pollack, and M. Soffa. Hierarchical GUI test case generation using automated planning. IEEE Transactions on Software Engineering, 27(2):144\u2013155, 2001.","journal-title":"IEEE Transactions on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"J. Newmarch. Testing Java swing-based applications. In The 31st Internaltion Conference on Technology on Object-Oriented Language and Systems, Nanjing, China, September 1999.","key":"27_CR15","DOI":"10.1109\/TOOLS.1999.796479"},{"doi-asserted-by":"crossref","unstructured":"G. Rothermel, L. Li, C. DuPuis, and M. Burnett. \u201cwhat you see is what you test: A methodology for testing form-based visual programs. In Proc. of International Conference on Software Engineering, pages 198\u2013207, 1998.","key":"27_CR16","DOI":"10.1109\/ICSE.1998.671118"},{"issue":"4","key":"27_CR17","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0169-7552(88)90064-5","volume":"15","author":"K. Sabnani","year":"1988","unstructured":"K. Sabnani and A. Dahbura. A protocol test generation procedure. Computer Networks and ISDN Systems, 15(4):285\u2013297, 1988.","journal-title":"Computer Networks and ISDN Systems"},{"doi-asserted-by":"crossref","unstructured":"R. K. Shehady and D. P. Siewiorek. A method to automate user interface testing using variable finite state machines. In Proc. of IEEE 27th Annual International Symposium on Fault-Tolerant Computing, pages 80\u201388, 1997.","key":"27_CR18","DOI":"10.1109\/FTCS.1997.614080"},{"key":"27_CR19","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1109\/32.16602","volume":"15","author":"D. Sidhu","year":"1989","unstructured":"D. Sidhu and T. Leung. Formal methods for protocol testing: A detailed study. IEEE Transactions on Software Engineering, 15:413\u2013326, 1989.","journal-title":"IEEE Transactions on Software Engineering"},{"unstructured":"R. V. Test. See \n                    http:\/\/www.rational.com\/products\/visualtest\/index.jtmpl\n                    \n                  .","key":"27_CR20"},{"doi-asserted-by":"crossref","unstructured":"H. Ural, X. Wu, and F. Zhang. On minimizing the lengths of checking sequences. IEEE Transactions on Computers, 46(1), January 1997.","key":"27_CR21","DOI":"10.1109\/12.559807"},{"doi-asserted-by":"crossref","unstructured":"L. White and H. Almezen. Generating test cases for GUI responsibilities using complete interaction. In Proc. of the 11th International Symposium on Software Requirement Engineering, pages 110\u2013121, 2000.","key":"27_CR22","DOI":"10.1109\/ISSRE.2000.885865"},{"unstructured":"XRunner. See \n                    http:\/\/www.merc-int.com\/products\/xrunner6\n                    \n                  .","key":"27_CR23"},{"key":"27_CR24","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1006\/jcss.1995.1019","volume":"50","author":"M. Yannakakis","year":"1995","unstructured":"M. Yannakakis and D. Lee. Testing finite state machines: Fault detection. Journal of Computer and System Sciences, 50:209\u2013227, 1995.","journal-title":"Journal of Computer and System Sciences"}],"container-title":["Lecture Notes in Computer Science","Engineering and Deployment of Cooperative Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45785-2_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,22]],"date-time":"2019-02-22T22:39:33Z","timestamp":1550875173000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45785-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540442226","9783540457855"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-45785-2_27","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}