{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T04:35:55Z","timestamp":1771043755553,"version":"3.50.1"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2005,7,1]],"date-time":"2005-07-01T00:00:00Z","timestamp":1120176000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2005,7]]},"DOI":"10.1007\/s10270-004-0077-7","type":"journal-article","created":{"date-parts":[[2005,1,24]],"date-time":"2005-01-24T14:38:43Z","timestamp":1106577523000},"page":"326-345","source":"Crossref","is-referenced-by-count":209,"title":["Testing Web applications by modeling with FSMs"],"prefix":"10.1007","volume":"4","author":[{"given":"Anneliese A.","family":"Andrews","sequence":"first","affiliation":[]},{"given":"Jeff","family":"Offutt","sequence":"additional","affiliation":[]},{"given":"Roger T.","family":"Alexander","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,1]]},"reference":[{"key":"77_CR1","doi-asserted-by":"crossref","unstructured":"Ammann P, Offutt AJ (1994) Using formal methods to derive test frames in category-partition testing. In: Proceedings of the Ninth Annual Conference on Computer Assurance (COMPASS 94), Gaithersburg MD. IEEE Computer Society Press, pp 69\u201380, June","DOI":"10.1109\/CMPASS.1994.318466"},{"key":"77_CR2","unstructured":"Benedikt M, Freire J, Godefroid P (2002) VeriWeb: Automatically testing dynamic Web sites. In: Proceedings of 11th International World Wide Web Conference (WWW\u20192002), Honolulu, HI, May"},{"key":"77_CR3","doi-asserted-by":"crossref","unstructured":"Chilenski JJ, Miller SP (1994) Applicability of modified condition\/decision coverage to software testing. Software Engineering Journal, pp 193\u2013200, September","DOI":"10.1049\/sej.1994.0025"},{"key":"77_CR4","doi-asserted-by":"crossref","unstructured":"Chow T (1978) Testing software designs modeled by finite-state machines. IEEE Transactions on Software Engineering SE-4(3):178\u2013187, May","DOI":"10.1109\/TSE.1978.231496"},{"key":"77_CR5","doi-asserted-by":"crossref","unstructured":"Derrick J, Boiten E (1999) Testing refinements of state-based formal specifications. Software Testing, Verification, and Reliability 9(1):27\u201350, December","DOI":"10.1002\/(SICI)1099-1689(199903)9:1<27::AID-STVR172>3.0.CO;2-B"},{"key":"77_CR6","doi-asserted-by":"crossref","unstructured":"Dick J, Faivre A (1993) Automating the generation and sequencing of test cases from model-based specifications. In: Proceedings of FME \u201993: Industrial-Strength Formal Methods, Odense, Denmark, Lecture Notes in Computer Science, vol 670. Springer-Verlag, pp 268\u2013284","DOI":"10.1007\/BFb0024651"},{"key":"77_CR7","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1109\/32.87284","volume":"17","author":"Fujiwara","year":"1991","unstructured":"Fujiwara S, Bochmann G, Khendek F, Amalou M, Ghedasmi A (1991) Test selection based on finite state models. IEEE Transactions on Software Engineering 17(6):591\u2013603, June","journal-title":"IEEE Transactions on Software Engineering"},{"key":"77_CR8","doi-asserted-by":"crossref","unstructured":"Gao JZ, Kung D, Hsia P, Toyoshima Y, Chen C (1995) Object state testing for object-oriented programs. In: 19th Computer Software and Applications Conference (COMPSAC 95), Dallas, TX, pp 232\u2013238, August","DOI":"10.1109\/CMPSAC.1995.524785"},{"key":"77_CR9","doi-asserted-by":"crossref","unstructured":"Gonenc G (1970) A method for the design of fault-detection experiments. IEEE Transactions on Computers C-19:155\u2013558, June","DOI":"10.1109\/T-C.1970.222975"},{"key":"77_CR10","unstructured":"Grindal M, Offutt J, Andler SF (2004) Combination testing strategies: A survey. Technical report ISE-TR-04-05, Department of Information and Software Engineering, George Mason University, Fairfax VA, July. http:\/\/www.ise.gmu.edu\/techrep\/"},{"key":"77_CR11","unstructured":"The Object Management Group (1999) OMG unified modeling language specification. Version 1.3, OMG, 1999"},{"key":"77_CR12","doi-asserted-by":"crossref","unstructured":"Howden WE (1975) Methodology for the generation of program test data. IEEE Transactions on Software Engineering SE-24:208\u2013215, May","DOI":"10.1109\/T-C.1975.224259"},{"key":"77_CR13","unstructured":"Hower R (2002) Web site test tools and site management tools. Software QA and Testing Resource Center. www.softwareqatest.com\/qatweb1.html (accessed November 2003)"},{"key":"77_CR14","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1145\/356651.356652","volume":"7","author":"Huang","year":"1975","unstructured":"Huang JC (1975) An approach to program testing. ACM Computing Surveys 7(3):113\u2013128, September","journal-title":"ACM Computing Surveys"},{"key":"77_CR15","unstructured":"Jia X, Liu H (2002) Rigorous and automatic testing of Web applications. In: 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA, pp 280\u2013285, November"},{"key":"77_CR16","unstructured":"Kung D, Liu CH, Hsia P (2000) A model-based approach for testing Web applications. In: Proc. of Twelfth International Conference on Software Engineering and Knowledge Engineering, Chicago, IL, July"},{"key":"77_CR17","doi-asserted-by":"crossref","unstructured":"Kung D, Liu CH, Hsia P (2000) An object-oriented Web test model for testing Web applications. In: Proc. of IEEE 24th Annual International Computer Software and Applications Conference (COMPSAC2000), Taipei, Taiwan, pp 537\u2013542, October","DOI":"10.1109\/CMPSAC.2000.884778"},{"key":"77_CR18","unstructured":"Kung D, Suchak N, Gao J, Hsia P, Toyoshima Y, Chen C (1993) On object state testing. In: Eighteenth Annual International Computer Software & Applications Conference, Los Alamitos, CA. IEEE Computer Society Press, pp 222\u2013227"},{"key":"77_CR19","unstructured":"Lee SC, Offutt J (2001) Generating test cases for XML-based Web component interactions using mutation analysis. In: Proceedings of the 12th International Symposium on Software Reliability Engineering, Hong Kong, China, November. IEEE Computer Society Press, pp 200\u2013209"},{"key":"77_CR20","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1109\/32.263756","volume":"20","author":"Luo","year":"1994","unstructured":"Luo G, von Bochmann, G, Petrenko A (1994) Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method. IEEE Transactions on Software Engineering 20(2):149\u2013162, February","journal-title":"IEEE Transactions on Software Engineering"},{"key":"77_CR21","unstructured":"Miller E (2003) Evalid. Software Research Associates, San Francisco, CA"},{"key":"77_CR22","unstructured":"Naito S, Tsunoyama M (1981) Fault detection for sequential machines by transition tours. In: Proceedings Fault Tolerant Computing Systems. IEEE Computer Society Press, pp 238\u2013243"},{"key":"77_CR23","unstructured":"Nielsen J (2000) Designing Web Usability. New Riders Publishing"},{"key":"77_CR24","doi-asserted-by":"crossref","unstructured":"Offutt J, Abdurazik A (1999) Generating tests from UML specifications. In: Proceedings of the Second IEEE International Conference on the Unified Modeling Language (UML99), Fort Collins, CO, Lecture Notes in Computer Science, vol 1723. Springer-Verlag, pp 416\u2013429, October","DOI":"10.1007\/3-540-46852-8_30"},{"key":"77_CR25","doi-asserted-by":"crossref","unstructured":"Offutt J, Liu S, Abdurazik A, Ammann P (2003) Generating test data from state-based specifications. The Journal of Software Testing, Verification, and Reliability 13(1):25\u201353, March","DOI":"10.1002\/stvr.264"},{"key":"77_CR26","doi-asserted-by":"crossref","unstructured":"Offutt J, Xiong Y, Liu S (1999) Criteria for generating specification-based tests. In: Proceedings of the Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS \u201999), Las Vegas, NV. IEEE Computer Society Press, pp 119\u2013131, October","DOI":"10.1109\/ICECCS.1999.802856"},{"key":"77_CR27","unstructured":"Pimont S, Rault JC (1979) An approach towards reliable software. In: Proceedings of the 4th International Conference on Software Engineering, Munich, Germany, pp 220\u2013230"},{"key":"77_CR28","doi-asserted-by":"crossref","unstructured":"Ran L, Dyreson C, Andrews A (2004) AutoDBT: A framework for database-driven testing of Web applications. Master\u2019s thesis, Department of EE and CS, Washington State University, Pullman WA","DOI":"10.1007\/978-3-540-30480-7_20"},{"key":"77_CR29","doi-asserted-by":"crossref","unstructured":"Ricca F, Tonella P (2001) Analysis and testing of Web applications. In: 23rd International Conference on Software Engineering (ICSE \u201801), Toronto, CA, pp 25\u201334, May","DOI":"10.1109\/ICSE.2001.919078"},{"key":"77_CR30","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0169-7552(88)90064-5","volume":"14","author":"Sabnani","year":"1988","unstructured":"Sabnani K, Dahbura A (1988) A protocol testing procedure. Computer Networks and ISDN Systems 14(4):285\u2013297","journal-title":"Computer Networks and ISDN Systems"},{"key":"77_CR31","doi-asserted-by":"crossref","unstructured":"Turner CD, Robson DJ (1993) The state-based testing of object-oriented programs. In: Proceedings of the 1993 IEEE Conference on Software Maintenance (CSM-93), Montreal, Quebec, Canada, pp 302\u2013310, September","DOI":"10.1109\/ICSM.1993.366932"},{"key":"77_CR32","doi-asserted-by":"crossref","unstructured":"von Mayrhauser A, Mraz R (1999) Using domain models for system testing. In: Advances in Computers, vol 49. Academic Press, pp 143\u2013190","DOI":"10.1016\/S0065-2458(08)60285-5"},{"key":"77_CR33","unstructured":"Wu Y, Offutt J, Du X (2004) Modeling and testing of dynamic aspects of Web applications. Technical report ISE-TR-04-01, Department of Information and Software Engineering, George Mason University, Fairfax, VA, July. http:\/\/www.ise.gmu.edu\/techrep\/"},{"key":"77_CR34","unstructured":"Yang J, Huang J, Wang F, Chu W (1999) An object-oriented architecture supporting Web application testing. In: First Asian-Pacific Conference on Quality Software (APAQS \u201999), Japan, pp 122\u2013129, December"},{"key":"77_CR35","first-page":"59","volume":"18","author":"Yang","year":"2002","unstructured":"Yang J-T, Huang J-L, Wang F-J, Chu WC (2002) Constructing an object-oriented architecture for Web application testing. Journal of Information Science and Engineering 18(1):59\u201384, January","journal-title":"Journal of Information Science and Engineering"}],"container-title":["Software &amp; Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-004-0077-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-004-0077-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-004-0077-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-004-0077-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T12:09:22Z","timestamp":1586088562000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-004-0077-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2005,7]]}},"alternative-id":["77"],"URL":"https:\/\/doi.org\/10.1007\/s10270-004-0077-7","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,7]]}}}