{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:44Z","timestamp":1755220964490,"version":"3.43.0"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Quality Journal"],"published-print":{"date-parts":[[2002,11]]},"DOI":"10.1023\/a:1021634422504","type":"journal-article","created":{"date-parts":[[2003,3,20]],"date-time":"2003-03-20T21:03:09Z","timestamp":1048194189000},"page":"205-224","source":"Crossref","is-referenced-by-count":20,"title":["Specification-based Testing for Gui-based Applications"],"prefix":"10.1007","volume":"10","author":[{"given":"Jessica","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suganthan","family":"Subramaniam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5108122_CR1","unstructured":"Z.120. 1996. Message sequence chart (MSC), ITU-T, Geneva, April 1996."},{"key":"5108122_CR2","unstructured":"Aho, A.V., Sethi, R., and Ullman, J.D. 1986. Compilers: Principles, Techniques and Tools. Addison-Wesley."},{"key":"5108122_CR3","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/3-540-60029-9_34","volume":"935","author":"R. Bastide","year":"1995","unstructured":"Bastide R. and Palanque, P.A. 1995. A Petri net based environment for the design of event-driven interfaces. Lecture Notes in Computer Science 935, pages 66-83. Springer Verlag.","journal-title":"Lecture Notes in Computer Science"},{"key":"5108122_CR4","unstructured":"Booch G., Jacobson I., and Rumbaugh, J. 1998. The United Modeling Language User Guide. Addison-Wesley."},{"key":"5108122_CR5","doi-asserted-by":"crossref","unstructured":"Bottoni P., Chang, S.K., Costabile, M.F., Levialdi, S., and Mussio, P. 1998. On the specification of dynamic visual languages, IEEE Symposium on Visual Languages. Pages 14-21.","DOI":"10.1109\/VL.1998.706129"},{"key":"5108122_CR6","doi-asserted-by":"crossref","unstructured":"Burnett, M., Sheretov, A., and Rothermel, G. 1999. Scaling up a \u201cwhat you see is what you test\u201d methodology to spreadsheet grids, IEEE Symposium on Visual Languages. Pages 30-37.","DOI":"10.1109\/VL.1999.795872"},{"issue":"3","key":"5108122_CR7","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S. 1978. Testing software design modeled by finite state machines, IEEE Transactions on Software Engineering, 4(3): 178-187.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"12","key":"5108122_CR8","doi-asserted-by":"crossref","first-page":"1629","DOI":"10.1016\/0169-7552(95)00122-0","volume":"28","author":"R. Ekkart","year":"1996","unstructured":"Ekkart R., Peter, G., and Jens. G. 1996. Tutorial on message sequence charts, Computer Networks and ISDN Systems, 28(12): 1629-1641.","journal-title":"Computer Networks and ISDN Systems"},{"key":"5108122_CR9","doi-asserted-by":"crossref","unstructured":"Erwig, M. 1999. Visual graphs, IEEE Symposium on Visual Languages. Pages 122-129.","DOI":"10.1109\/VL.1999.795883"},{"key":"5108122_CR10","unstructured":"Friedman, A.D. and Menon, P.R. 1971. Fault Detection in Digital Circuits, Prentice Hall Inc."},{"key":"5108122_CR11","unstructured":"Gerrard, P. Testing GUI applications, 1997. Proc. of EuroSTAR'97."},{"key":"5108122_CR12","volume-title":"Introduction to the Theory of Finite State Machines","author":"A. Gill","year":"1962","unstructured":"Gill, A. 1962. Introduction to the Theory of Finite State Machines, New York, McGraw-Hill."},{"key":"5108122_CR13","unstructured":"Holzmann, G. 1991. The Design and Validation of Computer Protocols. Prentice Hall."},{"key":"5108122_CR14","doi-asserted-by":"crossref","unstructured":"Kasik, D.J. and George, H.G. 1996. Toward automatic generation of novice user test scripts. ACM Conference Proc. on Human Factors in Computing Systems, Vancouver, Canada, pp. 244-251.","DOI":"10.1145\/238386.238519"},{"key":"5108122_CR15","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1109\/12.272431","volume":"43","author":"D. Lee","year":"1994","unstructured":"Lee, D. and Yannakakis, M. 1994. Testing finite state machines: state identification and verification, IEEE Transactions on Computers, 43: 306-320.","journal-title":"IEEE Transactions on Computers"},{"key":"5108122_CR16","unstructured":"Li, X., Mugridge, W.B., and Hosking, J.G. 1997. A Petri net-based visual language for specifying GUIs, IEEE Symposium on Visual Languages. Pages 50-57."},{"issue":"2","key":"5108122_CR17","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1109\/32.908959","volume":"27","author":"A. Memon","year":"2001","unstructured":"Memon, A., Pollack, M., and Soffa, M. 2001. Hierarchical GUI test case generation using automated planning, IEEE Transactions on Software Engineering, 27(2): 144-155.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5108122_CR18","doi-asserted-by":"crossref","unstructured":"Newmarch, J.D. 1999. Testing Java swing-based applications. The 31st International Conference on Technology on Object-Oriented Language and Systems, Nanjing, China, September. Pages 156-165.","DOI":"10.1109\/TOOLS.1999.796479"},{"key":"5108122_CR19","doi-asserted-by":"crossref","unstructured":"Rothermel, G., Li, L., DuPuis, C., and Burnett, M. 1998. \"What you see is what you test: a methodology for testing form-based visual programs, Proc. of International Conference on Software Engineering, pp. 198-207.","DOI":"10.1109\/ICSE.1998.671118"},{"issue":"4","key":"5108122_CR20","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0169-7552(88)90064-5","volume":"15","author":"K.K. Sabnani","year":"1988","unstructured":"Sabnani, K.K. and Dahbura, A.T. 1988. A protocol test generation procedure, Computer Networks and ISDN Systems, 15(4): 285-297.","journal-title":"Computer Networks and ISDN Systems"},{"key":"5108122_CR21","doi-asserted-by":"crossref","unstructured":"Shehady, R.K. and Siewiorek, D.P. 1997. A method to automate user interface testing using variable finite state machines, Proc. of IEEE 27th Annual International Symposium on Fault-Tolerant Computing, pp. 80-88.","DOI":"10.1109\/FTCS.1997.614080"},{"key":"5108122_CR22","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1109\/32.16602","volume":"15","author":"D.P. Sidhu","year":"1989","unstructured":"Sidhu, D.P. and Leung, T.K. 1989. Formal methods for protocol testing: a detailed study, IEEE Transactions on Software Engineering, 15: 413-326.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"5108122_CR23","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1109\/12.559807","volume":"46","author":"H. Ural","year":"1997","unstructured":"Ural, H., Wu, X., and Zhang, F. 1997. On minimizing the lengths of checking sequences, IEEE Transactions on Computers, 46(1): 93-99.","journal-title":"IEEE Transactions on Computers"},{"key":"5108122_CR24","doi-asserted-by":"crossref","unstructured":"White, L. and Almezen, H. 2000. Generating test cases for GUI responsibilities using complete interaction, Proc. of the 11th International Symposium on Software Requirement Engineering, pp. 110-121.","DOI":"10.1109\/ISSRE.2000.885865"},{"key":"5108122_CR25","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1006\/jcss.1995.1019","volume":"50","author":"M. Yannakakis","year":"1995","unstructured":"Yannakakis, M. and Lee, D. 1995. Testing finite state machines: fault detection, Journal of Computer and System Sciences, 50: 209-227.","journal-title":"Journal of Computer and System Sciences"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021634422504.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1021634422504\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021634422504.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T04:48:11Z","timestamp":1754628491000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1021634422504"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,11]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,11]]}},"alternative-id":["5108122"],"URL":"https:\/\/doi.org\/10.1023\/a:1021634422504","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"type":"print","value":"0963-9314"},{"type":"electronic","value":"1573-1367"}],"subject":[],"published":{"date-parts":[[2002,11]]}}}